{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Kanerva's Table 7.3 (page 70)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [],
   "source": [
    "from __future__ import print_function\n",
    "import sdm as sdmlib\n",
    "import matplotlib.pyplot as plt\n",
    "%matplotlib inline"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [],
   "source": [
    "bits = 1000\n",
    "sample = 1000000\n",
    "radius = 451\n",
    "scanner_type = sdmlib.SDM_SCANNER_THREAD"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [],
   "source": [
    "address_space = sdmlib.AddressSpace.init_random(bits, sample)\n",
    "counter = sdmlib.Counter.init_zero(bits, sample)\n",
    "sdm = sdmlib.SDM(address_space, counter, radius, scanner_type)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!\n"
     ]
    }
   ],
   "source": [
    "for i in range(10000):\n",
    "    if i%100 == 0:\n",
    "        print('!', end='')\n",
    "    b = sdmlib.Bitstring.init_random(bits)\n",
    "    sdm.write(b, b)\n",
    "print('')"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [],
   "source": [
    "b = sdmlib.Bitstring.init_random(1000)\n",
    "sdm.write(b, b)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [],
   "source": [
    "from IPython.display import clear_output\n",
    "def run(z, samples=3):\n",
    "    distances = []\n",
    "    x = range(0, 1001)\n",
    "    for i, dist in enumerate(x):\n",
    "        clear_output(wait=True)\n",
    "        print('z={:5s} Distance: {:4d} ({:.2f}%)'.format(str(z), dist, 100.*(i+1)/len(x)))\n",
    "        v = []\n",
    "        for j in range(samples):\n",
    "            c = sdmlib.Bitstring.init_from_bitstring(b)\n",
    "            c.flip_random_bits(dist)\n",
    "            assert c.distance_to(b) == dist\n",
    "            d = sdm.read(c, z=z)\n",
    "            v.append(d.distance_to(b))\n",
    "        distances.append((1.0*sum(v))/len(v))\n",
    "    print('Done!')\n",
    "    return distances"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "d = {}"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "z=3     Distance: 1000 (100.00%)\n",
      "Done!\n"
     ]
    }
   ],
   "source": [
    "#z_values = [None, 0, 0.5, 1, 1.5, 2, 2.5, 3]\n",
    "z_values = [0, 1.5, 3]\n",
    "for z in z_values:\n",
    "    d[z] = run(z)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAycAAAIaCAYAAAA6OjJuAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAAPYQAAD2EBqD+naQAAADl0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uIDIuMS4yLCBodHRwOi8vbWF0cGxvdGxpYi5vcmcvNQv5yAAAIABJREFUeJzs3XmcjvX+x/HX957FmIXJvmdJkd2IJKKiTuWQOjIo0YYsnUSLikqb5JxIi2wRRv0q1KlsZSkhQjuRnRmTbTDrPff398d1z5gZM8ww5p4x7+fj4TH3dV3f7/f6XHPpnPvjuxlrLSIiIiIiIr7m8nUAIiIiIiIioOREREREREQKCSUnIiIiIiJSKCg5ERERERGRQkHJiYiIiIiIFApKTkREREREpFBQciIiIiIiIoWCkhMRERERESkUlJyIiIiIiEihoORERERyzRjzgTFmm6/jEBGRi5OSExEpMowx9xpjrDGmRZbzpY0x64wxicaYm30Vny8YY5YbY2bkQzs1vb/b7P6syYdQCwVjzN4zPOfvuaj/tDFmjTHmb+/ft63GmPHGmHIFEb+IyMXO39cBiIicD2NMKWAx0Bi43Vr7lY9DKurmAl9kOReb4XNfwBRcOPluMBCS5Vxt4Dmcv0dn0wLYCEQBJ4D6wAPALcaYZtbahHyMVUSk2FFyIiJFljEmDFgENAW6WWu/9HFIOTLGBFtr430dRy78aK39IKeL1tqUggwmjTEmID/ub639NJu2R3s/zs5F/a7Z1F+Hk6zcCvzf+cQnIlLcaViXiBRJxphQ4CugOXCHtfZ/Wa43NsbMMMb85R1+E22MmWaMKZul3GjvkJ7LvOWPGmOOGWOmG2OCs7lvb2PMBmNMgjHmsDEmyhhTPUuZ5caYX4wxEcaYlcaYeOAlY8znxpi/cnie740x6zMc9zXGfG2MOWiMSTLG/GaMGZDL381gY8yvxph4Y8wRY8x6Y0zP3NTNRdunzTkxxpQzxsw2xsR57zfdGNPc+3vtnaHct8aYpWdr0/surDHm38aYYd7fWSJwhfd6kDHmeWPMdu/vZrcx5hVjTOA5PlZPYJu1dt051t/p/Rl+jvVFRMRLPSciUhSFAF8CVwF3Wms/z6ZMR5zhOtOBaKAB8CDQwBhztbXWZin/IbADeBIn4bkfOAg8nlbAGDMSeMFbdgpQHmeY0ErvkJ6jGdor640xCvgAiAE2ADONMVdZa3/I0O6lwNXA8Az1BwC/AgsBN9AZeMsY47LWTsrpF2OMeQCYgPMv+G8AQThD3loBc3Kql0FwNvMnjuXUY2GM8cMZBtYceAvYCnQFpuXiXmdzPxAIvAskA0eNMS7gc5zf17vAFqAJMAy4DLgzLzcwxlwF1MUZ1pXbOi6gDBDgrTsW5x2tyMu9RUTkdEpORKQoeh+oAvzLWrswhzJvWWtfz3jCO7F7LnAtsCpL+Y3W2vsylC0L3Ic3OfEmEM8BT1trX8pQ7hOcOQgDgZcytFcJ6G+tfTdD2VJAEnAX8EOGst0Bi5P0pLkuy/yFN40xXwGPAunJibW2fZbnuBX41Vr7L87Nc5z+Rb0DsDyH8nfgJImD0pImY8xbwNfneP+MqgCXWWsPpZ0wxtzrjedaa+33Gc7/hvM7apnHHpBe3p9nHdKVJa49GY73AD2stX/moQ0REcmGhnWJSFFUEWeYz56cCmT8Yu8dBlQOSFt1qnk2Vd7JcrwKKOtNKAC64fxv5ofeYUzlvG1GA3/ifGHOKAmn1yZjTHE4vSndjTEZJ5XfBayx1u7OIf7S3nutAGobY0rn9NzAUaCat0fgXEzG6XXK+GfzGcrfjPOsUzPE7sHpRTlfH2VMTLz+BfwM/JnlPaQlQ1nfQ468vT53AT/kMbGIxfm9dAZGAYeA0DzUFxGRHKjnRESKooeA8cBXxpi21totWQsYY8rgfHHsAVTIcjm7L/e7sxwf8f68BIjDGb5jcBKR7GQd9rTPWpucTbl5OMOeWgOrjTF1gAjgkSzxt8HpwWgNZJ37Uho4lkMcrwI3Auu88zgWA3Ostd/lUD6rP621p80LOYNLcZ41Mcv5/NgLZUc25+p6/8Rmcw1Of9dncj1OD9creQnKWpsEpP2OPjfGLAdWGGNitFqciMj5UXIiIkXRb8AtwDJgiTGmjbU2ay/Kh8A1wGvAJpxlX104k+iz6zVOzeFeaT0cLpyhV//IoeyJLMc5LSn7GRCPM5RrtfenB/go/YZOwrIM+ANnGNcenDkXtwD/ziF+AKy1vxtjrgBuw+nVuAMYaIx53lo7Kqd6BSTrPJ80fjmcz+536MJ5n8OzuQanJ5ln0gvnXUbloc5prLUrjTGx3vaUnIiInAclJyJSJFlr1xljugL/w0lQ2lprYwGMMZcANwCjrLXPp9UxxtQ9j1tux0lUdlhrt55H3CeNMZ8D/zLGPIozrGiVtXZ/hmKdgRLAPzMO9TLG5GrIkrX2JE4PzTzvClafACONMS9n08NxvnYBbYwxQVnaviybskdw5mtkdWke7rcdqJfH3p3TGGOCcIbqLbPWxpxPW15BZN8jJyIieaA5JyJSZFlrlwGROF+Ev8owPyStZyPrZoGPcO4+8bY7Kst8EYyjbPbVsjUP50v6/TgrTc3Lcv20+L3zTPqereGscXiHlv3mbSsgDzHm1iKcRCrjYgIunAUCstqOs1pa2Qxlm+OsvJVbHwI1jDH9sl4wxgSbbJZ/zkFnIIwzTIQ3xtTLuEy0MSbUGFMym3J3edtan/WaiIjkjXpORKRIs9Z+6l0+dxqw0Bhzs7U2zhizEhhhnM379gGdgFrncZ/txpingZeBmsaY+cBxb5u340wkH5fL5r7w1h2Hk4h8nOX6YpxhXJ8ZY97FmWz9AM7SxpXP0vZiY0w08B3O8sX1gUHA/6y1x3MZX178H84SyW8YYy7n1FLCab0IGYdyTQWGAouMMdNxFjZ4CGfJ5NO+9OdgBs6k+CnGmBtxhsb5A/VwhshdjzPs62x64QwbO21TRgBjjD/wO87wuhu9p+sBXxpj5uEsYWxxVirriZN4TczlM4iISA7UcyIiRZ61djrwGHAd8JH3i2VPnH/VfxgnoUjBmS9yPvd5BWcOhwdnsv044J84yUROSxpn106it3wY8I219mCW61tw9uuw3nv0x0l+3shF82nJTNqSw11x9j3pfaZK58pam4ozF+YjoB8wBmeo1xBvkcQMZX8B+uDsETIeZ15ML868Glh29+sMPIXT6/Q68CzOogL/wUkSzsg77O8fwGd5TNh24yQzN+L8nXodZ8GCCUAra+2RM9QVEZFcMKfvQyYiInJ+jDF34iQsV1tr1/o6HhERKRqUnIiIyHkxxpTMsi+LH85wqCZAJe/SuyIiImelOSciInK+3vIOpVuLs2rVHTiT3EcoMRERkbxQz4mIiJwXY0xvnDkudXCSkz+Bt6y1+bFLvIiIFCM+nRBvjGlnjPnMGLPfGGO9exZkvG6MMc8bYw4YYxKMMUuz7lNgjCljjJltjIkzxhw1xkw1xoRmKdPYGLPKGJNojNljjBlREM8nIlIcWGs/sNY2t9aWttaWsNY2VGIiIiLnwterdYXgrNLycA7XR+Cs+NIfaAWcxFmCMihDmdlAA6Ajzsov7XBWtQHAu+/BYpzVYyJwdhUebYx5MF+fREREREREzkuhGdZljLHA7dba+d5jA+wHXrfWjvOeK42zbv+91tooY0x9nM3FrrLWrveWuRlnD4Fq1tr9xpgBwIs4kzKTvWVeAbpaa+sV7FOKiIiIiEhOCvOE+FpAJWBp2glr7TFjzFqcdeWjvD+PpiUmXktx9iBohbMefWtgZVpi4rUIeNwYc0l269IbY0rg7HicURng8Hk/lYiIiIhcKGHAfuvDf33fsGFDGM6Gub4eoVRYpAK7IiIiks9aksKdnFTy/ozJcj4mw7VKODsmp7PWuo0xh7OU2ZFNG2nXsts060mcDdZEREREpGipBuwr6Jtu2LDBBTzl5+d3jzEmADAFHUMhZT0eT+yGDRtuj4iIOOt7KczJiS+9jLN7cZowYO/WrVspU6aMj0KSgpKSksI333xDhw4dCAgI8HU4coHpfRcvet/Fi973xS02NpZBgwaxbNkyADp16sTixYsBjvsopKcCAgIGVKpUKTkkJCTeO2Wh2PN4PGbv3r014uPjn9+wYcMDERERnjOVL8zJSbT3Z0XgQIbzFYFNGcpUyFjJu9Z+mQz1o711MqqY4dppvOvyp6/N70x/gTJlylC2bNm8PIMUQSkpKQQHB1O2bFn9n1kxoPddvOh9Fy963xevpUuXcvfddxMdHU1QUBBvvPEG3bp1o3z58j6JZ8OGDaX8/PzuqVSpUnKFChUO+SSIQqxixYpxu3btui41NbUsEHumsoV5LNwOnOThhrQT3pW3WgHfe099D4QbYyIy1Lse57nWZijTztu9lqYjsCW7+SYiIiIiUjilpKTw5JNP0qlTJ6Kjo2nQoAHr16/nwQcfTP/HZB+pZIwJCAkJifdlEIVVYGBgsrcD4ZKzlfX1Piehxpimxpim3lO1vMc1vBOZ/gs8bYz5pzGmETATZwWv+QDW2t+Br4D3jDEtjTFtgDeBKGvtfm+bc4BkYKoxpoEx5i5gKJmHbYmIiIhIIbZjxw7atWvHK6+8grWW/v3788MPP9CgQQNfhwbOd2qjoVzZy5A4njX38PWwrhbANxmO0xKG94F7gbE4e6FMBsKBb4GbrbWJGer0wklIluGs0vUxzt4oQPoKX52AScAG4G/geWvtZERERESk0Pvwww954IEHiIuLIzw8nClTpnDHHXf4Oiy5AHyanFhrl3OGlQy8vSfPev/kVOYw0PMs9/kJaHtuUYqIiIiIL8THxzN06FCmTJkCwDXXXMOcOXO49NJLfRyZXCiFec6JiIiIiBRTP/30Ey1atGDKlCkYYxg5ciQrVqxQYnKBvPzyy+WrVq3aqESJEs0bN25c75tvvgn2RRxKTkRERESk0LDW8tZbb9GyZUt+//13KleuzNKlSxkzZgz+/r6ekXBxeu+99y4ZNWpU9REjRuxfvXr1bw0aNEjo0qXL5fv27SvwX7jesIiIiIgUCocPH+b+++/n008/BeDWW29l+vTpPlsi+Hx4rCU+ye2TjoDgEv4eVx5WL5s4cWLFHj16/D106NBDAB988MGuypUrl540aVK5l156KdutNy4UJSciIiIi4nOrVq2iV69e7Nmzh4CAAMaOHcvQoUN9vUTwOYtPcrsajl7czBf3/mV0p42hQQFn3OwwTWJiovntt99Chg8fnp6E+Pn5ce2118atXbs25MJFmT0N6xIRERERn0lNTeX555+nffv27Nmzh7p167JmzRoeeeSRIpuYFCXR0dH+qampVK5cOSXj+QoVKrhjY2MLfPdS9ZyIiIiIiE/s3buX3r17s2LFCgDuuece3nzzTcLCwnwc2fkLLuHv+WV0p42+urcv7psflJyIiIiISIFbuHAhffv25fDhw4SGhvL222/Tu3dvX4eVb1zGkNuhVb5UqVIlt5+fHwcOHMjUS3Lw4EH/8uXLp+RU70LRsC4RERERKTCJiYkMGTKELl26cPjwYSIiIvjxxx8vqsSkKAkKCrJXXnnlyaVLl6Z3V6WmpvLdd9+VatWq1cmCjkc9JyIiIiJSILZs2UKPHj3YtGkTAI8++igvv/wygYGBPo6seBs8eHDMoEGDarVo0SK+TZs2J8eNG1cxISHBNWDAgL8LOhYlJyIiIiJyQVlrmTFjBoMGDSI+Pp7y5cszY8YMbrnlFl+HJsADDzxwJDY21v/ll1+u8vfffwfUq1cvfv78+X9Wr17dXdCxKDkRERERkQsmLi6OAQMGMGfOHABuuOEGZs2aReXKlX0cmWT01FNPxT711FOxvo5Dc05ERERE5IL44YcfaNasGXPmzMHPz4+XXnqJRYsWKTGRHKnnRERERETylcfjYfz48Tz55JO43W4uvfRS5s6dS+vWrX0dmhRySk5EREREJN/ExMTQp08fFi1aBMC//vUvJk+eTHh4uI8jk6JAw7pEREREJF8sWbKEJk2asGjRIkqWLMnkyZOZN2+eEhPJNSUnIiIiInJeUlJSeOKJJ+jUqRMxMTE0bNiQ9evX88ADD2CM8XV4UoRoWJeIiIiInLMdO3YQGRnJ2rVrAejfvz/jx4+nZMmSPo5MiiIlJyIiIiJyTubNm8eDDz5IXFwc4eHhTJkyhTvuuMPXYUkRpuRERERERPLk5MmTDB06lKlTpwLQpk0bZs+ezaWXXurjyKSo05wTEREREcm1n376iRYtWjB16lSMMTz99NMsX75ciYnkC/WciIiIiMhZWWt56623GDZsGElJSVSpUoUPPviADh06+Do0uYio50REREREzujw4cN069aNQYMGkZSUxG233cbmzZuVmFwEvvzyy9Drr7/+sgoVKjQ2xkTMmjXrjOs+f/7552HGmIisf3bv3p0vnR7qORERERGRHK1atYqePXuyd+9eAgMDGTt2LEOGDNESwReJ48ePuxo2bBh/7733/t2nT586ua23efPmX8LDw1PTjqtWrerOj3iUnIiIiIjIaVJTUxkzZgzPP/88Ho+HunXrMm/ePJo1a+br0IoG64Hkk74ZpRQY4sHk7tbdu3eP6969exxAnz59cn2LKlWquMuVK5d69pJ5o+RERERERDLZu3cvvXr1YuXKlYDzpfXNN98kNDTUx5EVIcknXbxczTeZ3JN7N1IizHMhb9GkSZMrk5OTTd26dRNGjx69v1OnTifzo13NORERERGRdAsXLqRJkyasXLmS0NBQPvjgA2bMmKHERACoXr168tixY3dFRUVtnzNnzvaqVaum3HLLLVd8++23wfnRvnpORERERITExERGjBjBxIkTAYiIiCAqKorLLrvMx5EVUYEhHp7cu9Fn975AmjRpktSkSZOktOOOHTuevOqqq0qMGzeu4rXXXrvjfNtXciIiIiJSzP3xxx/06NGDzZs3AzBs2DBeeuklAgMDfRxZEWZcXOihVYVF8+bNT65duzZfutaUnIiIiIgUU9ZaZsyYwaBBg4iPj6d8+fK8//77/OMf//B1aFKE/PzzzyUrVKiQkh9tKTkRERERKYbi4uLo378/c+fOBeCGG25g1qxZVK5c2ceRSUE6duyY69dffy2RdvzXX38Frl69umT58uVT69atm/zwww9X3b9/f8Cnn366E+D555+vULt27eSmTZsmJCQkmLfffrv82rVrS33yySdb8yMeJSciIiIixcy6deuIjIzkr7/+ws/PjzFjxjBixAhcLq2VVNysWrUqpHPnzpenHY8ePbr66NGj6dat26GPP/54Z3R0dMC+ffvSk5fk5GTz1FNPVTt48GBgUFCQ54orroifP3/+1s6dOx/Pj3iUnIiIiIgUEx6Ph9dff52nnnoKt9tNzZo1mTt3LldffbWvQxMfue22245bazfkdP3jjz/emfF4zJgxMWPGjIm5UPEoOREREREpBmJiYujTpw+LFi0C4F//+heTJ08mPDzcx5GJnKK+OxEREZGL3OLFi2nSpAmLFi2iZMmSTJ48mXnz5ikxkUJHyYmIiIjIRSolJYXHH3+cm266iZiYGBo2bMj69et54IEHMMb4OjyR02hYl4iIiMhF6K+//iIyMpJ169YBMGDAAF5//XVKlizp48hEcqbkREREROQiExUVxUMPPURcXBzh4eFMnTqVbt26+ToskbNSciIiIiJykTh58iRDhgxh2rRpALRp04Y5c+ZQo0YNH0cmkjuacyIiIiJyEdi8eTMtWrRg2rRpGGN45plnWL58uRITKVLUcyIiIiJShFlrmTRpEo899hhJSUlUqVKF2bNn0759e1+HJpJnSk5EREREiqhDhw5x3333sWDBAgBuu+02pk+fTrly5Xwcmci50bAuERERkSJo5cqVNG3alAULFhAYGMgbb7zBwoULlZhIkabkRERERKQISU1N5bnnnqNDhw7s3buXyy+/nDVr1jBkyBDtXSJ59uqrr5a//PLLrwwNDW0WGhrarGnTpvU+/PDDUr6KR8O6RERERIqIPXv20Lt3b1auXAnAvffey8SJEwkNDfVxZFJUVa9ePfmFF17Yd+WVVyZaa3nvvffK9erV67LatWv/1qJFi8SCjkfJiYiIiEgRsGDBAvr168fhw4cJCwvj7bffplevXr4OS3LgsR7iU+J9MkopOCDY4zK5u3XPnj2PZTyeOHHivpkzZ5ZftWpVqJITEREREckkMTGR4cOH8+abbwLQokULoqKiqFOnjo8jkzOJT4l3tZ7bupkv7v195PcbQwNDPXmt53a7mTZt2iUJCQmudu3anbgQsZ2NkhMRERGRQuqPP/6gR48ebN68GYDHHnuMF198kcDAQB9HJheTdevWlWzfvn295ORkV8mSJVNnzZq1PSIiosB7TUDJiYiIiEihY61l+vTpDB48mPj4eMqXL8/MmTO5+eabfR2a5FJwQLDn+8jvN/rq3nkp37hx48R169b9duTIEb+oqKhL+vfvX/Oyyy7b4osERcmJiIiISCFy7Ngx+vfvT1RUFAA33ngjM2fOpHLlyj6OTPLCZVycy9AqXwgKCrINGzZMAmjbtm38xo0bQ15//fWKc+bM2VXQsWgpYREREZFCYt26dTRr1oyoqCj8/f155ZVXWLRokRITKVAej4ekpCSfrEutnhMRERERH/N4PIwbN46RI0fidrupWbMmc+fO5eqrr/Z1aHKRe/jhh6vedtttx2rXrp187Ngxv/fff7/MunXrwj7++OM/fRGPkhMRERERH4qOjqZPnz4sXrwYgO7du/Puu+8SHh7u48ikOIiNjfW///77a8XGxgaEhoam1qtXL+Hjjz/+8/bbb4/zRTxKTkRERER8ZPHixdx9990cPHiQkiVLMmHCBO677z7t9C4F5sMPPyzweSVnojknIiIiIgUsOTmZESNGcNNNN3Hw4EEaNWrE+vXruf/++5WYSLGmnhMRERGRAvTXX38RGRnJunXrABg4cCDjxo2jZMmSPo5MxPeUnIiIiIgUkLlz5/LQQw9x/PhxLrnkEqZOncrtt9/u67BECg0lJyIiIiIX2MmTJxk8eDDTp08H4Nprr2X27NnUqFHDx5GJFC6acyIiIiJyAW3atImIiAimT5+Oy+Xi2Wef5ZtvvlFicnHxANZaqwlD2bDWpn0866aU6jkRERERuQCstUyaNIlhw4aRnJxM1apVmT17Ntddd52vQ5P8F22tTTl58mRwSEhIgq+DKWySk5MDrbVu4MjZyio5EREREclnhw4dol+/fixcuBCAzp07M23aNMqVK+fjyORCiIiIiNuwYcPM6OjoAUDZkJCQeGOMPWvFYsDj8ZiYmJhSHo/nc+DQ2corORERERHJRytWrKBXr17s27ePwMBAxo0bx6BBg7RE8MXvpZSUFPbv33+PMSYY0At3WI/Hs9taOyoiIkLDukREREQKgtvtZsyYMbzwwgt4PB6uuOIKoqKiaNq0qa9DkwLg/eI9ZsOGDW8AldHc7jRuYHdERERybgorORERERE5T3v27KFXr16sWrUKgL59+zJhwgRCQ0N9HJkUtIiIiOPAcV/HUVQpORERERE5DwsWLKBv374cOXKEsLAw3n33XSIjI30dlkiRpO4mERERkXOQmJjIoEGD6Nq1K0eOHKFFixZs3LhRiYnIeVByIiIiIpJHv//+O61atWLSpEkADB8+nO+++446der4ODKRok3DukRERERyyVrLtGnTGDJkCPHx8VSoUIGZM2dy0003+To0kYuCkhMRERGRXDh27BgPPfQQ8+bNA+DGG29k1qxZVKpUyceRiVw8NKxLRERE5CzWrl1Ls2bNmDdvHv7+/rzyyissWrRIiYlIPlPPiYiIiEgOPB4Pr732Gk8//TRut5uaNWsSFRVFq1atfB2ayEVJyYmIiIhINqKjo7nnnntYsmQJAHfddRfvvvsupUuX9nFkIhcvDesSERERyWLRokU0adKEJUuWULJkSaZMmcLcuXOVmIhcYEpORERERLySk5MZPnw4N998MwcPHqRx48Zs2LCB++67D2OMr8MTuehpWJeIiIgIsH37diIjI/nhhx8AePjhhxk3bhxBQUE+jkyk+FByIiIiIsXe3Llzeeihhzh+/DiXXHIJ06ZNo2vXrr4OS6TYUXIiIiIixdaJEycYMmQI06dPB6Bt27bMnj2b6tWr+zgykeJJc05ERESkWNq0aRMtWrRg+vTpuFwuRo0axddff63ERMSH1HMiIiIixYq1ljfffJPHHnuM5ORkqlatyuzZs7nuuut8HZpIsafkRERERIqNQ4cO0a9fPxYuXAhA586dmT59OmXLlvVxZCIChXxYlzHGzxjzgjFmhzEmwRiz3RjzjMmwlp9xPG+MOeAts9QYUzdLO2WMMbONMXHGmKPGmKnGmNCCfyIRERHxlRUrVtCkSRMWLlxIYGAgEyZMYMGCBUpMRAqRQp2cAI8DA4BBQH3v8QhgcIYyI4AhQH+gFXASWGSMybju32ygAdARuA1oB0y+0MGLiIiI77ndbkaNGsX111/Pvn37uOKKK1i7di2DBw/W3iUihUxhH9Z1DbDAWvs/7/FOY0wk0BKcXhPgEWCMtXaB99w9QAzQFYgyxtQHbgaustau95YZDHxhjHnMWru/QJ9IRERECkxsbCwdO3bku+++A6Bfv35MmDCBkJAQH0cmItkp7MnJauBBY8zl1tqtxpgmwLXAo97rtYBKwNK0CtbaY8aYtUBrIMr782haYuK1FPDg9LR8mvWmxpgSQIkMp8IAUlJSSElJya9nk0Iq7R3rXRcPet/Fi9538fLJJ5/w73//mxMnThAWFsakSZPo0aMHoL8DFyO904tDYU9OXgFKAX8YY1IBP2CktXa293ol78+YLPViMlyrBBzMeNFa6zbGHM5QJqsngVFZT37zzTcEBwfn+SGkaFqyZImvQ5ACpPddvOh9X9ySkpKYMWMGX375JQB169bl0UcfpVSpUnzxxRc+jk4ulPj4eF+HIPmgsCcn3YFeQE/gV6Ap8F9jzH5r7fsX8L4vA+MzHIcBezt06KBJc8VlPY0FAAAgAElEQVRASkoKS5YsoWPHjgQEBPg6HLnA9L6LF73vi9/vv/9Or169+OWXXwDo2rUr06dP1zCuYuDQoUO+DkHyQWFPTl4DXrHWRnmPfzbGXIrTs/E+EO09XxE4kKFeRWCT93M0UCFjo8YYf6BMhvqZWGuTgKQM5QEICAjQ/5kVI3rfxYved/Gi933xsdYydepUhgwZQkJCAhUqVGDatGm43W5CQkL0vosBveOLQ2FfrSsYZ25IRqmcinsHToJxQ9pFY0wpnLkk33tPfQ+EG2MiMrRxvbeNtRcgZhERESlAx44dIzIykgceeICEhAQ6duzI5s2b6dSpk69DE5E8Kuw9J58BI40xu3GGdTXDmQw/DcBaa40x/wWeNsb8iZOsvADsB+Z7y/xujPkKeM8Y0x8IAN4EorRSl4iISNG2Zs0aIiMj2blzJ/7+/rz44os89thjuFwuTZAubo7u8nUEkg8Ke3IyGCfZeAtnaNZ+4F3g+QxlxgIhOPuWhAPfAjdbaxMzlOmFk5Asw+mJ+RhnbxQREREpgjweD2PHjuWZZ57B7XZTq1Yt5s6dS6tWrXwdmlwIHg8Y4/z5cwnsWg3XPQ4Bp7a18/vuvz4MUPJLoU5OrLXHcfYxeeQMZSzwrPdPTmUO40yqFxERkSIuOjqau+++m6VLnZ0EevTowTvvvEPp0qV9HJlcEKkpMLMrxO2F+5fB7Dud8ycPcuTG/xAeHIA5sgPz+wLfxin5olAnJyIiIiIZffXVV9xzzz3ExsYSHBzMxIkT6du3r3Z6v5itngi7vnU+v1bn1PmNHxD8YxQrgtrSPukbDNY38Um+UnIiIiIihV5ycjIjR45k3LhxADRu3JioqCjq16/v48gk36S64WQslKoMnlQ4EQM/zoLlL+VYpYRx0z7pmwIMUi40JSciIiJSqG3bto3IyEjWr18PwKBBg3jttdcICgo6S00pUj55AH79BB5cAVu+hBWvnLH4mpDrufrk1wUUnBSUwr6UsIiIiBRjc+bMoXnz5qxfv54yZcowf/58Jk6cqMTkYuHxwNLRTjLy6yfOuVXjzpqYHAmuxfiwEXyfemX6uThb8gIGKgVFPSciIiJS6Jw4cYLBgwczY8YMANq2bcvs2bOpXr26bwOT/LX9a/j2P5nP/f7Z6eUuuxG2OQsgvO3uzOcJNxGTfILh7odokbqFRZ4W2KSTQJ8LH7NcUEpOREREpFDZtGkTd911F1u3bsXlcvHss88ycuRI/P31taVISz4JH/aBSo2IaTaELX/8wrVB+886jOezZlNoV9VQettS4mwwr7ojwQ2QDJTn3lvaEfP7QVISTrDlwj+FXGD6r1xEREQKBWstEydOZPjw4SQnJ1O1alXmzJlDu3btfB2a5Mb3b8Hu1XDHNPAPTD/tSU3l17E30Chpo3Ni2xIqfjueirls9vnvk/ib0vzDNYTNnjqZrv37xsu5v21t7m9bm9jYv/k4x80npKhQciIiIiI+9/fff9OvXz8++8wZ0tOlSxemTp1K2bJlfRyZ5NqiJ52fvy2Axv+Cv5ZDSHkOnvScSkxy0naYszrXxg8ASAqpwpxjjUjBn1guAeALz9XULh9C4JEEkt0eAFrXOfX3w+XSctIXAyUnIiIi4lPLly+nV69e7N+/nxIlSvD6668zcOBA7V1SlHhST30+EQ1718PMLgB8VWsc956tfngNuHpgenKyLq4Mz7lPnz9yaZlgTia5iYlLAuDKKqXyIXgpTLRal4iIiPiE2+3m2Wef5frrr2f//v1cccUVrF27locffliJSVHi8UDCkVPHi5+GKTekH96747FMxf/0VD2tiScWbCFi/EZ+bPQMSZTgw9T22d6qYdXSjLzVWaGrUdXShJbQv7NfbPRGRUREpMDt3r2bXr168e23zs7f/fr1Y8KECYSEhPg4MsmtPYfj+Xrlcu7+/SFcl9+U63oHbBnqsg+A99y3cJ1rM/9Lbs7x5GS6/VAfF1Px5PDv57XLh/DPJlWoUSaYiqVK5MtzSOGinhMREREpUJ9++ilNmzbl22+/JSwsjLlz5zJ16lQlJkXBD1Pgv43g7z8ZMHsDNTa8gispDn7+KNdNLPJcBcDfthQvunvTKfk1jhOcfr1MaElCAv0AeKtXc+69pmb6tZa1nDkmTauHU7m09jW5GKnnRERERApEQkICw4YN4+233wagZcuWzJ07l9q1a/s4Mskk4Sj4B0FANhtd/m+Y83PpaH7Z15OggJRsmxiQPJQOrk1091+R6XyqNcxNvZ5k/FnjqX9avRdvb0j3FtVJ9Vh+OxBHs+rh3NKoMg+2q01cYgpVw5WQXOzUcyIiIiIX3G+//UarVq3SE5MRI0awatUqJSaFTeIxGF8fJrc/de7YPmezxGP7Tp07ugsAl/Fk28xiTwu+8lxFkg3gsA3lxqSxzHbfwD+TX+SpWxvwwuhXSA6rcVq91rXLEuDnIijAj+Y1Lkmfe1QlvCT1Kmnye3GgnhMRERG5YKy1TJkyhaFDh5KQkECFChWYNWsWnTp18nVokp29P0BKPMT+DikJEFAS3r4GEo/CVfefKhf9Mz+XuI8wk5Cp+nZPZfqkPEEqfnztaU7TpHfx4MI/sCQjk+8DoLs3+Vj+WAfue/8H1vx1iH5tahEeHEDt8qEF+bRSCCk5ERERkQvi6NGjPPjgg3z0kTMfoVOnTsycOZOKFXO7/Z4UOHfyqc9H9xCTGkrFxKPO8Y8zMxXNmpgA9Eh+hljC048TCGJmv5a0rlOWBs8uIjnVQ9PqzvWSgX5M73sVcQluyoedeXL7qr2rOBh/kI41OzLt52mcSDnBDTVuoHWV1uw8tpMJGydQyVQ6x4eWwkTJiYiIiOS7NWvWEBkZyc6dO/H39+ell15i2LBhuFwaUV6YpRw7QEDawdFdxH08+tRO7qlO4rI98ArqJG85re4eT/lMiUn3FtXo0rQqbS4rB8DKER3YdegkTaqfKlPC34/yYX5njsmTwsBlAwFYtHMR3x/4HoB5W+bxQ68feHLVk/xy6BdSE1LP1IwUEUpOREREJN94PB7Gjh3L008/TWpqKrVr12bu3Lm0bNnS16FJLuzds5NaaQez76RuNmWWJV5BHdfpyUlchhW3AB6/uR5lQ0/1iFQqHUSl0tlMsj+DY0nHuDbq2vTjtMQkzZJdS/jj8B95alMKNyUnIiIiki8OHDjA3XffzbJlywCIjIzk7bffpnTp0j6OTLIVu8XZkb10NWj1EOxYSa1fJpxWbK2nHq1cpxKADe46EHh6c8essxT03Aeuxu3xZEpMzuRkyklK+pfEZU7vVVsXve6MdZ/69qlc3UOKDvWtioiIyHn76quvaNKkCcuWLSM4OJhp06Yxe/ZsJSaFgXceyaJfo1n6W4yzo/umOTCpJayeAF+OgNGl4f3Op1V9292Znskj+Sr1qvRz0fYSDgV453fct5R1Zf4JwDh3d+pVCqN1nbK0rVs+V6FFn4ym/bz2DFs+LNvr245uy/b8lE5Tsk1mpOhTz4mIiIics+TkZJ566ilef/11ABo3bsy8efOoV6+ejyMTDm2Hr56E7V9zouVQtny7jbfcXfjl5m34L3/xjFWHJA/iN1uDbbYaAP1T/s1zdjo1zEF+tTXZ0nkB15Q9CVUjaPHwDHbs2cPVfyTS++pLcx3ez7E/0/OLngAs3b2UVE8qfq7M8082RG/Itm7zis0Z02aMek4uQkpORERE5Jxs27aNyMhI1q9fD8DgwYMZO3YsQUF5m1cg5+HgH/D9m3D9MxB2ahW0+GQ3we+2g+QTAISuGccQfwglEf/lX+XYXP/kRzhJEKs8jQCT6dood18AujWryjWNTyWfLj8/atWsyYiaeQt92IrMvSW7j++mVula7IrbxY8xPzJ/23x+PPgjAFG3RvHc98/x++Hfua32bQS4AuhcpzNuj5tnVz8LwJ117+QFXshbEFLoKDkRERGRPJs9ezb9+/fnxIkTlClThmnTptGlSxdfh1X8zOsNh/6EfRtgoDNZ/N0V23n5yz/YGXTitOL9/HNOTADWe67gb848FC9t9a3zdeDkgUzHWw5v4dNtnzL9l+mZzt9R9w4alGvAy21fZtnuZfSu3zv92q21b2XVvlVUDa3KvbXuVXJyEVByIiIiIrl24sQJBg0axPvvvw9Au3btmD17NtWqVfNxZMXMkZ3gCnASE4CDv/H5ynXc5l7C/mUxvB3wW66aecN9Owm2BE8ERAHwN2ffhT00KG9fHxftXMS0X6bxn/b/oUpoFd7/9X32ndh3Wrnpv07nt0Onx931sq4A1AmvQ53wOpmuBfoFMr79eAAOHTqUp7ikcFJyIiIiIrmyceNGevTowdatW3G5XIwaNYqRI0fi53fmfSokbw7GJfLzvmNcX68CxpjTC/y9zZnMHloBQivBiWgAblh2K5hkngs4vUpOlqRGsN+Wo7f/UpakRpB1KBfAF0PasjXmOI/M20SpIH9a1ymb6/attTy24jEA3vv5PZ5q+RTj1o/Ltmx2iUnNUjVpVK5Rru8nRZ+SExERETkjay0TJkxgxIgRJCcnU61aNWbPnk27du18HdpFqfu737PzUDwT7qzPP+uX5oR/aay1hB3+BUIqwMqxYFPheOZhUSVNcg4tOsak9KKz3/c0cf0FwAx3J/77SB/W7DjCtfPfIC0x6XhlRSJbVmdrzAkealcbYwxXVinFLY0qk+ROJSwod9mPx3qY/NPk9OMNMRsY+e3IM9Yp4VeCphWasvbAWgAWdl2YfYImFy0lJyIiIpKjv//+m759+/L5558D0KVLF6ZOnUrZsrn/13PJm52H4gGot7gXfP4bt6S+TQiJfOn3b8BAWKUc6yaHVOG+I/cwK/CV9HPbPZUJNkmsKNmRBSfacJlrHw1a30zryypyWcVSRMclk5aYRD14NfUrl6J0yQCur1cxU9uB/i4C/TMv32ut5es9X9O0fFPKlsz8d2L+tvlM2jQp/XjHsR3sOLYjU5mBTQeyPnp9+n4mg5sNJqJiBJH/i6R5heZKTIqhc05OjDEBQCUgGIi11h7Ot6hERETE55YvX06vXr3Yv38/JUqU4PXXX2fgwIH6wnihHNsLwae+4F+e7Axz6uBZQxIB4AdgT+sxyejH46X51tMw07kbksfhTypNKpXnzxNHiPWEM+uWhvj7OYlGm8vK8kLXhjSsUopmNS4BIMWTQoDr7D0kX+/+mkeWP0JYQBhL/7WUZ757hmurXku5kuVYsWfFWesPaDIAmsAHv33A4cTD3H3l3biMi/ld5lMpJOckTC5eeUpOjDFhQG+gB9ASZ39QA1hjzF5gMTDZWvtDfgcqIiIiBcPtdvPcc8/x4osvYq2lXr16REVF0aRJE1+HVuT9ER3H4Dkb+XfHy7mlUWU4+TeUKAU/fwgLHsZWjQCGUZLE9DrhnOAooblq/5ANw+LieOnLCTu2FY81gMGNP6kem14uLTEBMMZwd4b9SZbuWsqIlSN4vs3z1C9Tn2HLh/FQk4f4R61/ZLqXtZble5cDcDzlOK3mtAJg8a7Fmcp1rt2Zz/767LRYH2j0QPrn3lf2znQt68R3KT5ynZwYYx4FRgLbgc+Al4D9QAJQBmgItAUWG2PWAoOttX/me8QiIiJywezevZuePXvy3XffAXDffffxxhtvEBIS4uPILg6PRG1i+8E4YuYNZdXyUrQ9/DFYT/p1s8/ZdLCsOZ5+rqI5jB+pmdpZUPFhOsZMJZhE5rnbc5f/cgCSCASgxD0fwxeP0O/3iPQ68cnuXMX47+X/BuDJVU/SpHwTth/bzoiVI05LTmb9Nov52+aftb1G5RulJyfVw6rTrW437r7ybkr4lchVPFK85KXn5CqgnbX21xyurwOmGWP6A31xEhUlJyIiIkXEJ598wn333cfRo0cpVaoUkydP5q677vJ1WEWbJxUy7HqeEHeY9SUepow5ATmsfFuKk7R1/ZR+fJVrK7/ZzDuvD911DdAm/TgtOQnESUACy9Ygpdc8Vjz7EXhzn0qlS7I15vS9T87k74S/sz03+afJzP1jbq7ayLja1js3vkONUjXyFIMUL66zF3FYayPPkJhkLJdkrX3HWjvt/EITERGRgpCQkMCAAQO44447OHr0KK1atWLjxo1KTM7X/o3wSg1YPTH91FDPDCcxOYP7/L/k5YCp6cd1Xfvo4rc6S6lT834qhJ3qgQjATfMa4QAMXjaY0Lov4wraS7VLSvJi14a0v6I8c+5vlV7+10O/0m1hN1btXQU4Q7XSlAosRarN3GMD8OGWD09LTFpXbk2wf3C2z1O/TH3aVGlD++rtqR5W/YzPLpLr5EREREQuPr/++istW7bknXfeAeDxxx9n1apV1K5d28eRFX2H5j0MySdg8dPp5661m85ab6j/J7m+x6jOV/L9kzdwtF4kAMeuGsp797QA4Lv9ztC8yy/7lff7taR6mWCGdw5hZ8piPN6hZEO/HsqfR/5k4LKBxKfEM2zFsPS245LjiD4ZnX484ccJrN6/muV7lp8WR6eanfi2x7dMvH4izSs0Z/Yts/lHrX8wuNlg/Fx+vNPxHSZeP1GLKchZ5WXOSa7/S7HWdju3cERERKQgWGt57733eOSRR0hISKBixYrMmjWLjh07+jq0osnjgZ+ioHZ7KFWFo/HJ7D9ykrIZ/xk4MY5w4vLc9Ifu6+juf2rlq189zhCvn0Z3opR3z5Hw7m9B4kt0Dy5zWv02dcpTp7wzob7H/3oAUKZkGW6ueTMx8THp5ab8PIUlu5bkGMd7P7/Hez+/l3585+V38n9b/w9welkC/AJoX7097au3B2Bs+bF5flaRvMw5OZbhswFu955b7z0XAYQDuU/3RUREpMAdPXqUBx98kI8++giAm266iffff5+KFSuepabk6PeFMH8AAO/fuIHLK19CSIahV8luD4FbviDQpHLMBlPaxOeq2bnuDrzijiSBQNZ66tOrwi6ejr2Be1pfmp6YAOByQYbExO05NfndL8OclzR/HvmTm2venOncop2LchVTmttq33YqOSlRKk91RXKS6+TEWts37bMx5lXgQ6C/tc5gRGOMH/AWnMM/CYiIiEiB+P7774mMjGTXrl34+/vz8ssv8+ijj+JyaaT3eYk+NYG93eJbWHbjl1yVITkJHHNJ+ufpqTcT6fc1Fc3RHJs70Xo4n+0L4cWt1ThBMKPcfXm+SwPatK7J4lQPfjkMj/JYD/+39f+oHFI5/ZzxxpFxPom/6/SvgLuP787FgzoejXiUaqHV0o/DAsJyXVfkTM51E8Z+wLVpiQmAtTbVGDMeWA0Mz4/gREREJH94PB5effVVnnnmGVJTU6lduzZz586lZcuWvg6tSPkz5jhjF20hPMhFnxblaFi7BlgLiacGmNRyxdBtxU2UccVm28Yaz5Xc5lqTnpys9dQjyt2BypUrM+LQswCEVqnHXhpyYut2AFYMb8+lZZ3lnAP8ck4k1xxYwwtrXsh07kSKMwE/wZ2Qfu7n2J+Z/NPkbNtoWr4pm2Jznhvz+FWP0/vK3qR4UtLPBfidfcNGkdw41+TEH6gHbMlyvh6aZC8iIlKoHDhwgLvvvptly5YBEBkZyTvvvEOpUhqKc1YeD6QmQ0AQ7PuR72a+h+t4RS5zbaX+r1/w7XWz+XPTSvrGTclUrUxq9okJwG+eGpygZPrxG+5urPY05JXaAaeWFy5dDdeBU70jlUoH5Src7Jb+Xbh9IVsOb+HFa19MP7dq3ypW7VuVbRuvtHuFXv/rxaHEU2sdVwiuwMH4gwBEVHT2TglwBdC3YV9i42OpG143V/GJnM25JifTganGmDo4+5sAtAKe8F4TERGRQuDLL7+kT58+xMbGEhwczKRJk+jTp49WTcqtuXfB3h9g8I/wXgfuBe4NPHU5aPlo+rq25qnJOEKJs6eW3U37XK5aHfgBZpQK46O1z9KkxKlVvkr4O/NGRq0exbYj25h287T0TQyPJx8nxZNC6cDS6UO4stpyZAvv/vTuWWMb2HQgVUOr8kmXT9h8cDNbj2zlngb3EOQXxPI9y9l/cj/1y9ZPL/9oxKN5enaRsznX5OQxIBoYBqQNajwAvAa8ng9xiYiIyHlITk7mySefZPz48QA0adKEqKgo6tWr5+PIipDYrfDnYufzz/+XbZFLOJ7peH7qNXQ9bU+SU15M6QmA4dT8j2M4w7VqVq4AbYfx+t6PIP4AlYIXANcT6O8MSvFYD5/86aw7tGzXMlI8KZQPLs9jKx4jJTWF4IBgDicezvHe2a3ENbT5UN748Q0AelzRgwFNnEn9ZYLK0KFGBzrU6JBeNuNnkQvlnJITa60HGAuMNcaU8p7TRHgREZFCYNu2bfTo0YMNGzYAMGTIEF599VWCgnI3NEiA4zEw6apTx3H7si1Wx3Ug0/H81GtzTE5STCA/1bgHdhwmxCSmn99rywNQo0wI3PAsvO+souYKiGPavS24opIz/G7L4VOj6Z9Y9QQ2Q4IDkJiamOn4svDL2HZ025mektqlT+1n06xCszOWFSkI5z0/xFobp8RERESkcPjggw9o1qwZGzZsoEyZMixYsIA33nhDiUkufPjDHoZ/tJmk2B3w84eZrnm2L89VG7G2NDcmjWWu+/RehoB7PmbeQ61pXK0049zdSSxbH/p+xfNdGjExshmB/q5Mk9bXHFjDn0nzqVI6iJiTMXT/vHv6tayJSVZ3XXEXUbdFnTXeBmUb8O6N7zKo6SBurnXzWcuLXGjnOqwLY8ydQHegBhCY8Zq1tvl5xiUiIiJ5cOLECR5++GFmzpwJwHXXXccHH3xAtWrVzlKz+IlLTGH6tzvp0rQKNcuFgMeD56snaLzmCxa7u5O67X1Iyjyx3BWdefWqW5Ne5HH/KNr5/YzbLxj/VGffkiM2jP2UY1ZqRyL9vzlVoWlvqNUOgI/6t+bwyQiCSj8OwN2XnioWc/LUpogAb256k9ZVWp+1BySrkICQ9DkpANVCqzGo2SCeWPVE+rkpnaZQMaQiFUMqck3Va/LUvsiFck49J8aYITgT32OAZjiT4g8BtYEv8y06EREROasff/yR5s2bM3PmTFwuF8899xzLli1TYpLR3vVweAcAz87/hf8s3cK9071r+uxYgWvdu9Rz7eGdgP8QnHT6ildZ3RDRgBEpDxJb85/8dONsHkh+lOEpD+JXprpzO1suc4X2j5/6bNz4B5zItt3o+OjTzo1aPYpRq0fl4iFPCfZ3JtnPuWUOjcs15rXrXuPW2rcyps2Y9DJXVboqp+oiPnOuPScDgQettXONMfcCY621fxljngfKnLmqiIiI5AdrLW+88QaPP/44ycnJVKtWjTlz5tC2bVtfh1a4HP4LptzgfB59jF2bV/BHiTGMOdob6ACbZqcX9TeeXDX5yD9b07tTa8qXuod9e46yxOMMx+pWswwvdKnC1pjj2JTHMCkJ0GmMs4O71xMrn2Dp7qU8GvEofRr0wWVOXTtw4sBp98prrwk4PScAjco3Yvatp54vvER4+ueM9xUpLM41OamBs9kiQAKQti3oLGANMOg84xIREZEziI2NpW/fvvzvf/8DoGvXrkydOpUyZfRvhFmZ/T+eOrCW4f7zCDIpjAmYDvwXDv6Rbb3DNpQJ7m6MDph52jVXYBAVvIPaSwWd+jpVq2wI7a+oQPsrKgDPZNvu0t1LARi/YTwu46JPgz7Ep8Qz5JshbIhxFjFoVqEZGw9uzPUztqjYgvUx69OPgwOCsy3Xtlpb+lzZh4blGua6bZGCdK7JSTROD8kuYDdwNbAZqAU5LLAtIiIi+eKbb76hV69eHDhwgBIlSjB+/HgGDBigvUty4k5K/+hJjCMx41TZw3/Bsd0A7PRUpKbLmfPxUkokk1M7A/CI/8eEm5N8ntqKMhwn4NJWZBwQVarkqd3Rq5fJPilIk+jOvKLW/G3z6dOgD59u+5S1B9amn7+l1i1cfsnlzNsyL1P5sIAwjqc4yxc3q9CM66pdR4NyDWhUrhFf7viS575/Dsg5OXEZF49d9dgZYxTxpXPtz/sa+Kf383TgP8aYJcA84NP8CExEREQyc7vdPP3009xwww0cOHCA+vXrs27dOgYOHKjE5AxM0rH0z/bNFlzvl2Fy+67vIdG5vsnWOXXaVkz/fGfyKN5138qIlIfomfI0iys/mKn9sAw9J2VDA/nkz08YvXo0bo87Uzm3x82N/3dj+nGAK4BtR7dxzZxr2By7OVPZOuF1Mg3BqlO6DjP/MZPVPU8tUxzkF8R9je7j6spXExIQwvU1rs/UtkhRdK49Jw/iTWystZOMMYeAa4CFwNm3HxUREZE82bVrFz179mT1aufL6f33389///tfQkJCfBxZ4eRJ9WA2zyEgLo4Es59Q73m/kwczF1wwMP3jTlsp/fNeWyH98zZbjZfdvQgt4Y8r2U1kyxpEn4wmvEQ4Qf5BlPD34/KKoew5nED18ikMXOBMXm9YriF3Xn4nAHuO72F99HqOZUiUGpdvzIaYDRz/f/buOzyqom3g8G+2pGwa6YSQ0FGKEIoiiFIEUZBXFAsiKhYE9VXAT1+KhaIoYgEbCqioIAKCoCAqHQREaSJN6SW0JKTX3ezO98eGTZaEkk2QEJ77unLlnDlz5szJSXbz7DRbBj8dcJ9PqHZQbXYk7XDtT+o8iUg/Z8D0QssXmLJtSrEWkGDvYNd2prXkAfdCVHRlWYTRUWR/JnD+ybSFEEIIUWpz587l8ccfJzU1lcDAQCZPnsx99913qatVYYxfspslO08y8YHmjFm0izviqnFi7QweP/kqXYH59hvoYTx/OdUjI51zjwJHisy21b9dbW6qF871tUNJz7ERn/0Pd819kG61uzGm7RgAxvQKZOY/P9Ljh8Kpejed3MTd9e9mX+o+enzfo9j1Goc2do0xOVOIT4ir+xZAhKUwWHqo0UM82PDBYq1lSimq+x0XfKcAACAASURBVFcnPjOeVlGtzn/DQlRAZVnn5EagP1AHuFtrfVQp9SBwQGu9prwqKIQQQlypcnJyGDx4MJMmOTsltGrVim+++YZatWpd4ppVECd3QHBN3lu2G1/yuOvjdSRnWVmy8yRvmn51/ZfTw7j2vEV95tePx5qGOTuuA2892I6V/yQQE2LhqfZ1XfmC/bx4fs0E7NrOD/t+4LUbXsOhHTy2+OFiCyMu3L+QZhHNeHX9q8Wu93zL5/lPnf+wP20/8ZnxHEg74HZcKUVceJzb/pnHS/LdHd+RnpfuamUR4nLjUXCilOqJc2aur3Guc3J6lZ8gYDjQtVxqJ4QQQlyhduzYQa9evdi+fTtKKYYMGcLo0aMxm2UsAQD7VsA0Z2vEVm8LRhw8lv0CoYY07jauppYqPiXvaY9YXyBGJTDa/CUAK3RLWj/wCvimwPJXoeaNdGlUlS6NqrqdN2/PPFbFr+Jo5lFXWlJOEjaH7awrtpcUmLx8/cvcU/8elFJM7DQRu8NO3LQigUjB3EJto9syof0Ergq56gJ/KOBr8sXX5HvB+YWoaDxtOXkJGKC1/kop1atI+tqCY0IIIYTwgNaaKVOmMGjQIHJycoiMjGTatGl07tz5Ulet4kg/5gpMAIKUc3X2Wd7FA4GSrHA0o6thvWs/uFYcDasFAoHwwj7wCXIds9lt5NhzMGDglXWvFCur47cdi6Wd1q12N37c/2Ox9PYx7d1aPowGI/P+M49BKwdxKP0QL7d2TkGslOLmGjdf0D0JUVl4GpxcBawuIT0NqFJCuhBCCCHOIzU1lX79+jFnzhwAunTpwpdffklkZCXqoqM17P4Fql4DQdHnz2/Nhr1LwBKK3jaHPdV7UufnPlzAEBIAkg0G8vyrYQhpTuTBH/jZ7pwEuEn92nDQmSe8bW/2p+2nVmAtlF8YaXlpfLDhA26vfTvjN41n56mdNI9sft5rtY1uy5qjhT3bX2/7OjUDa7Ls8DLs2s6elD1YTBa38SOn1Q2uy/d3fM+h9EPUCpJue+LKVZZ1Turi+rN2aQvsL0uFhBBCiCvRunXr6N27N4cOHcJkMjF27FgGDx6MwVDJVvH++0eY9QD4BPFP3x1sjU/lnhbVAXhp/nZC/b2JDbHQMCrQ2ZqxbDT8/jHgXEit/qapF3SZ9Td/y5FTGYxOGwnAhp7vkrHjFq6KvpkD0VGcSk3jxa8mEmquzZEj01m6dinvdXiPjrEdeXb5s2xO2Oy2xsi6Y+vOcqVCMQExbvsGZWBA0wEMaDoAgOWHl3N1yNVnPd9oMFK7Su0Luj8hKitPg5MpwHtKqUcBDVRTSrUG3gYurE1VCCGEENjtdt58801eeeUV7HY7tWvXZubMmVx77bXnP/lyojX89D/4Y7JzPzcN28S2LMm/C3/vJ4gNsfD174fdTjk4tpsrMDmfHY4a5GGmuWEvANffcDN1s1MYPdd5PEnnUb3Vg+w+uYkpaz6kWWQzfqiSC+yEwzsBGLhiIKPbjGZzwuazXOXcGoQ0OOfxouuQCCFK5unHMWOBGcAywB9nF69PgUla6w/KqW5CCCFEpXbs2DFuueUWXnzxRex2O71792bLli2VLzAB2L+yMDAp0NhwkCle77JuXxIn03OLnZKUmVcs7WwGGYaSX6SzV5Y9lyeXP+naz853jksZ8/sYFuxfwOjfRpdYTknjSs5sEQGI9i/eJa1LzS4XXF8hRMk8Ck600xggBGgMXA+Ea61fLs/KCSGEEJXVokWLaNq0KcuXL8disTB16lSmT59OYGDgpa5a+Us9DEf+OOvhbfFp7E/MAuAt0yf84f0UI0xfcuKLvucsdrX9GnK1GfqtYNJ/b+NYRBXygUMmE9fPuJ6/U/525c2wOtcMOZR2qNTV79uosB5jbxzLI40e4bkWz7nSetbryeTOk7GYLaUuWwjhrtTdupRSZiAHiNNabwd2lnuthBBCiEoqLy+PYcOGMX78eADi4uKYOXMmV1114dPFXlbs+TC5PWSfOmuWrfFpbI1PAzT3mJzz7Txi+gWS3PNlKsXXQQF0ycymZn4+r+X3Yb+OYm90cyb/OpQfA47zckAs0eYAKLKAIUC/xf1oH9Meu7aXqvpmg5mOsR1dUwK3qdaGbrW7EZ8R78oz5Lohrul737rpLV5Y/QLDWw0v1XWEEE6lDk601jal1GG44IkyhBBCCAHs2bOHXr16sXmzc0zDs88+y7hx4/D29j7PmZexjGPnDEwA3jBN4XvHDVxvOPfnnV8EBTIpOIiJVYLYevAI0VHVeLhVUwC3KXuPnhGYANgcNpYcWlLq6kf5RRHmG8bTcU+j0QT7BANQPaA6/a7ph7+Xv9u6IrfWupW20W3x9/Iv9bWEEJ4PiB8DvK6UelBrnVyeFRJCCCEqo2nTpvHUU0+RmZlJaGgoU6dOpXv37pe6WhdVWraN7Zu3csN58t1vWsH9rDhvef94ORegdCiFHZj6ZGcwX9wFB09P+3t6xq2inm3+bInnSGAihOc8DU7+i3Mq4WNKqUNAVtGDWuvzTwYuhBBCXAEyMjJ4+umnmTZtGgDt2rXj66+/Jjr6Atb4uJxkJ8PU26DGDRxq/SqLtp3gzZ//5j+G9dzgVfri3jS051rTdjpakxhsfRIvlU9alUywrQWgdY3qfJVx6JxT85aHRxo/clHLF0K48zQ4mV+utRBCCCEqoU2bNnH//fezZ88eDAYDI0eOZPjw4RiNl1nP6HwrHP4NYlqB2cc9fdWbUL8LJP7t+npjXQBxhr08YQxguPmbEos8qasQqVJLPDbOdg/T6//OdCysjJtEn6DORAf78cmOsWzZ48yTYzAwYfMEPun0CR9sKf+JQltEtuD5ls/TOKxxuZcthDg7j4ITrfWo8q6IEEIIUVlorZkwYQJDhgzBZrMRExPDjBkzaNu27aWummeWjYLfPoQWj0D3CYXp6yfCr287v65/2pX8ideEEgpx1zbvfboZ1vNY5B6u6f4MzLiXpZaujEq8kXgVgD+/AzDDkch/a4SglHLNuHVack4yDu1g8l+TS7pEMdNum8b2pO0Eegfy4poXix3vd00/pmybAkCAOUACEyEuAU9bToQQQghRgsTERPr27cuiRYsAuPPOO/n0008JCQm5xDUrg98+dH7fNNU9ODm01rV58o9viSxFkTZMzHe0pW6zu6gd0xC/IYeY+vViknw+w5jWwpVv8l+TCfEJ4XD6YRYfWuxWxq7kXfRa2KvE8qv7V6dzbGem7ixcUT4uIo64iDjAGUC+tPYl17FJnSbRJroNraJa8dGfH/HCtS+U4m6EEOVFghMhhBCinCxfvpw+ffpw/PhxvL29GT9+PAMGDEApdamrdmE2fQHrP4besyC4Zsl5MhOx/jCIfbX7UOfoNk4PJ4l0JBTLutPLzCpzFJ8mP08rtZeJXu8DcMJoxBy0gfzsOkw+MJxJBxy80voV9uX/iMlvPya//W7ljP1jrNt+0RaOXcm7il13VJtR3FDtBoLNwQQdCSI1JpVudbq55bmj7h3M3zufjSc30r56e9pEtwGgVVQrWkW1Os8PSghxsUhwIoQQQpRRfn4+I0aM4I033kBrTYMGDZg1axbXXHPNpa5a6SwY6Py+bDTc/XnJedaMx2v3QhrsXljsUI72Yp+uRmPDQQCGhodxwAvy/b5j0eEnAGdw0r9qBD5ec3HkhaFxADhXbDde2MxbdavUPe/xSL9IbDYbYcYwHop7CLPZXCzfW+3e4sf9P9Kjbo8Luq4Q4uLzaIV4IYQQQjgdOnSIdu3a8frrr6O1pl+/fmzcuPHyC0yK2j4XJrWDrCQOJ7qP89C2bLf9fF34r8RBHUkP62i+rfMGAAcKpv41+e3HHLzGlW9/QbrB+4xVFg05F1S9GkE1znn8fMHLaWG+YTzc6GGCvIMuKL8Q4uIrU3CilPJSSl2llJIWGCGEEFecuXPnEhcXx7p16wgMDGTWrFlMnjwZi8Vyqat24bbNgbn9wHZGYHD8T/Km30nYxBj37AeOu+1v17V42DqEA45IPsy/k3xMnAi18nRkuFs+n6oLSTJ4/m9H+5j2ru0gryB61utJ0/CmxfKt6bUGi/ky+vkLIdx4FFQopSzAB8DDBUn1gf1KqQ+Ao1rrsWc9WQghhLjM5eTkMHjwYCZNmgTA9ddfz4wZM6hVq9Ylrtk5pByEH56F65+Eq26DlEPw90L4Zbjz+BljTDTQ3ZREemw0qw7H462d6U2Sf3bLd0hHssrRlA7W8a60yYmfgaV4F619wdFszUkqln4+i+5chFKKlUdWAuBv9mdkm5EADFoxiGWHlznz3bVIWkGEuMx5+hHGG0BToD2QWyR9KXBfGeskhBBCVFjbt2/n2muvZdKkSSilGDZsGKtXr67YgQnA1/fCgVXYv3mAyav3Yf+0c2FgArB6nFv2XKU4bjKRZTBwyFR8vMZph3UE7eoXtpL4+KacNe9/q3gz6IwWFcBtIcX/a/F/xY7HBMYQ7R/NrTVvpUvNLm4ByMjWI3n8msdZ0GMBMQExxc4VQlxePO2O1QO4T2u9Ximli6TvAOqUvVpCCCFExaK1ZvLkyQwaNIjc3FyqVq3KtGnT6NSp06Wu2vnlWyHpHwCM2Jm4aANP+Jw85ykZRbpgvWe/g5N5DZns9S4hKtOVnqUUB5pm0btFJqt2A2jMNd88a5m5DmuJ6X0b9WXHqR10iu1Eli2rxDxKKd5q91ax9Co+VRjYfOA570UIcfnwNDgJB4rPGQh+OFuChRBCiEojJSWFfv36MXfuXABuvfVWvvzySyIiIi5xzc4iNx3sNvALhXUfwMapboc7Gract4hMQ+H0x8cNFjbrq/iv7WlmeBUGH18GBbIk+x+W/DoQX/Nb5DpKXvH9fGoG1aRbbedUv6m57mXEhcd5VKYQ4vLkabeujUDRCcNPBySPA7+VqUZCCCFEBbJu3Tri4uKYO3cuZrOZt99+mx9//LHCBSZa69Mb8Nkt8F4TyEmBxS9B8j63vL1MK4qdv91Rkyesg13726jm2r75hhgsNSfyV50fSDQamOfvR4LRyDGT0ZWnisWMMhcPTnxNvrze9vVz1r12UO3CcnyqcG/9ewF4pNEjfNL5k3OeK4SoXDxtORkO/KSUalhQxsCC7TZAu/KqnBBCCHGp2O12xo4dy4gRI7Db7dSpU4eZM2fSsmXLS101p5+Hw875ZPddystLE/lu82HujUln7EOdUInOhQl/+f5rupRw6nWGf9z2F9tbMNj2FFn48n5+D6437GKSvgHnUFKYm/gTRl/nQPYnG97AP5mHAGiZUzjsNKL6H6Qlnip2rf5N+tO9TncahDTg9T9eZ8OJDcXy+JrcB8+/dP1L9G3cl+r+1S+fBSyFEOXCo+BEa71GKRUHDAW2AbcAm4HWWutt5Vg/IYQQ4l937Ngx+vTpw4oVzhaGBx54gIkTJxIYGHhJ65Vtzcea76BK+m5Y/xEAX379FXOPXsO9xlW8mTgFx/t+nP53PnLnZ64+Eg7gI6+m2PwO8UxKKmbgvryXCVVp/OZoSBa+1An34+PU+3nXasfkvZXTIUNikRm2TgcmABt9fVzb+x0zMIa61/fb7t9SJ8g5FLVucF0+veVTmn5VfPrfMymlZHC7EFcoj9cn0VrvA/qVY12EEEKIS+7HH3+kb9++JCUl4efnx0cffcRDDz10yT/B11pz/5Tf2ZeQyfoOu/AvSD90IhGA4aYZABiKDCj38TnCvWFVeS45hbGhwezzSgECaZqXx83ZOWzVtTF7+zGpTws+XPk3rZseYNK297FYwzH6HilTfTvX6Ow2CxeAQRl4oMED7EjawdBWQ/lwy4f0bdS3TNcRQlQuHgcnSikDUBeI4IyxK1rr1WWslxBCCPGvysvLY+jQoUyYMAGAZs2a8c0333DVVVdd4po57UnIZOsR55iOxBPHXMFJb+MyfjbUJgsTVc44552QKuzy9qJfVKRbeorR+bb92eM3cXXVAEL9vfli/1dM3vkbykiZApMm4U3o26gv7aqX3Mt76HVDXdsfd/rY4+sIISonTxdhvB6YAdQAzvwoSQPGYicJIYQQFdTu3bu5//772bx5MwADBw7kzTffxNvb+xLXrNDiHScAaKQOYE4tHOCeZzmGPeoThuf48uWJNLdzvM8yf+ZqX1/stdpxa4yZIG9vknOT+e34+eez6RjTkeVHlp8zz9ddvz5vOUIIcTaeztb1Cc4ZuxoDIUBwka+Q8qmaEEIIcfF99dVXNG/enM2bNxMaGsqCBQuYMGFChQpMAH7ZcZJWahc/er9I9RNLXemzApxtKJt9vdzyL7fH4aVLjk5W+Fl4LWM7bWe25cU1L7Lp5KbzXr9WUC3ax7Qv8djL178MwPBWw0s8LoQQF8rTbl31gLu11nvLszIlUUpFA28CtwEWYC/wiNZ6Y8FxBYzCOf6lCrAWeFJrvadIGSHAB0B3nGMC5wIDtdaZCCGEuCJlZGTw1FNPMX36dADat2/P9OnTiY6OviT12ZuQyedrD/B0h7pEV/EFaxYsexVMXiTFdmXX0VNMNC8qdl7+GWNhXrb15XdHAyzkEWb48LzX/WHfD/yw7wcAGoY2pHVUaz7b/pnr+LDrhtExtiM+Rh9OZpe8cOOdde/kznp3YlIe9xYXQgjA8+Dkd5zjTS5qcKKUCsYZbKzAGZwk4gyMUopk+x/wLPAwcAB4FfhFKdVQa316jsOvgSigM2AGpgKTgd4Xs/5CCCEqps2bN9OnTx/27t2LwWBg1KhRDBs2DKPx0vVK7j9tI/sSs/grPpWFz9wIPw2BLdMACFv7HvO9ahKlkljoZ6GR1UotWz4A9iJljLX1Ypr9FgB8yOMqg9eZl3G5vfbtLNy/0C1tQJMBdIjtQLfa3fg7+W+i/KJoFtEMo8H5c/H38qdulboA7Evdhy5Y5sxsNJfLz0AIITwNTj4A3lFKVcU5lbCt6EGt9V9lrViBIcARrfUjRdIOnN4oaDUZBLymtf6+IO0h4CTQA5iplGoA3ApcW6S15RlgkVLqea31sXKqqxBCiArO4XDw/fffM336dGw2G7GxscyYMYMbbrjhUleNfYnOWba2H00nIS2HgK3zKLr6R2PDQVb7+jCsYPHHbQcOA2Ar0nJSrUEr2A4YciFyAfu93Xtv+5sDybSlA3BXvbvYnbKb3Sm7AXjzxjfpENsBgHrB9agXXK9YHU0GE3O6z0GjaTatWbnctxBCFOVpcDK34PvnRdI0zsHx5Tkg/j84W0G+xbm441FgotZ6SsHxWkBVTq8SBWit05RSvwOtgZkF31NPByYFluLs3tUKmHfmRZVS3kDRzsYBADabDZvNdmZ2UcmcfsbyrK8M8ryvHImJiTz66KP88ssvAPTo0YNJkyYRHBz87z1/7XB+zz4FXn5g9IaCVolmag9p+JGsA/j641cZ7Cje8/hvr8KWkEerRtAvNc2tW5c1xIzBJx6jzzHMVYqPI6kTVIutSVsBCPcOJ8Ac4DrWIrxFqX4O7au3Z2X8Sm6KvqnC/v3I3/eVRZ5z5eBpcFKrXGtxdrWBJ4F3gdeBa4H3lVJWrfWXOAMTcLaUFHWyyLGqQELRg1rrfKVUcpE8ZxoGjDgzccWKFVgsFk/uQ1yGlixZcqmrIP5F8rwrt7/++ovx48eTkpKC2Wzmscceo0uXLvz22/lnqCq3OpzS9E8YRWB+Mj75qdiVGbvBzOGQG5ljv4l53kXedgo6JWdqHx61vkCIyuAx0yJSfcxABgAbfH3Y4OtD3bzCjl3vJY7DrxYYc+q5dfc6zSu9MLjZvGozxzILOw+sX76+VPfT2tEaf19/mmY0ZdGi4mNhKhL5+74yZGdnX+oqiHLg6Qrxh86fq1wYgI1a69PTf2xRSjUGBgBfXsTrvoEzIDotAIjv0KEDoaGhZzlFVBY2m40lS5bQuXNnzGbpR13ZyfOu3Gw2G6NHj2bcuHForWnQoAH9+/enX79+F/15/3MiA8epvTTK2cxmRzhvJL6Bn28yz6U41yoxahtGu426ib9QJd9c4jtyGn78oa/G6LeLbZZnuC3uMOye5ZbnuJcXnBGK2H33UJKxt4+l2/fdqBFYg+63dWfB0gUcTzgOQNeuXUt9j/dwT6nP+TfJ3/eV5dSpU5e6CqIclGURxjo4x3s0KEjaCbxXsHJ8eTleUG5Ru4CeBdsnCr5HFuSlyP6fRfJEFC1AKWXCOeXxCUqgtc4D8orkB8BsNsuL2xVEnveVRZ535XPw4EF69+7tah154oknGDduHCtXriz35621RmswGJzvFw6H5vaPfuMf74cxKhtbgwLJCqnC1CqBruCkqAGmhcXSAF60PYYpaBO+1eaQDiw/El4sT5YqqY2k0E3Vb6JFZAviwuOICIhg+b3L8TH5YDaYGdpqKEN/HUr/pv0r9e+//H1fGeQZVw6eLsLYBfgBZwCwtiD5BmCHUqq71rq82k/XAmcuzVsfON1ycwBngHFzQV1QSgXiHEtyetnZ34AqSqkWWuvTHXA74myV+b2c6imEEKIC+fbbb+nXrx9paWkEBQUxZcoU7rnnnrL3Sd84FQKjof4tbslPTt/M7pMZLBp4Iz5mI0mZeQSRibdyXs9I4XojDs6/yNgLlpb8bG9Npr06vqFfudITcxIBeLRRf7YmbmFTwh/nLGdO9zlcFeL+NhrgVTjO5KqQq5h3R7Ghl0IIccl42nIyFhivtR5aNFEpNRbnmiTlFZyMB9YppYYDs4HrgCcKvtBaa6XUBOAlpdQeCqcSPgbML8izSyn1MzBFKTUA51TCHwIzZaYuIYSoXLKzsxk8eDCTJ08G4Prrr+ebb76hZs2aZS/85A5YOMi5PbJwJXatNT/vOIEBB7/tTaLD0U8I3Pod75iDXXl8HIXBSbLRQJjdgR2YHeCPj9Z8GBzEwJQ0OmRls9vLi58jE4Dv8T9LVdrH3kCH2LY8+NODrjSDMlArsBb70pwdGKL8oqgdVLvs9y2EEP8iT4OTBsC9JaR/jrOrV7nQWm9QSt2JcwzIKziDj0Fa66+LZBsH+OFct6QKsAa4tcgaJwAP4AxIllG4COOz5VVPIYQQl9727dvp1asXO3bsQCnF0KFDGTVqVPl19cgsMveKLRfMPgDk2hzEGOJpVe1tkn5vDAeX4wN0Mh50Zc81FM6oddJoJMzuYImfhdfDQlzpL4aHUjsokP1exetrzI/CbirsvVzVUpVIv0jXvq/Jl8U9F6PR9Pi+B62iWjHupnHlcNNCCPHv8jQ4SQTigDNH3MVxxsxYZaW1XgiU3BnXeVzjDFxeOUeeZGTBRSGEqJS01kyaNInBgweTm5tL1apVmT59OjfffHO5XcPu0Gw+kMy1pxOOboINn4KXhfQO71CjyhJ+CfDhF/bSA2cT/WmT87vxpz4MOFtbTppMNLLa2FNC0HRmYOKwhpB77G7mDriJB3/uAzjXGomwRGBQBh5p/AhTt0/luRbPUcWnCgAr711ZbvcthBD/Nk+DkynAZKVUbWBdQdoNOBdNfPesZwkhhBDlKCUlhX79+jF3rnP5rdtuu40vvviCiIiI85xZOkN++ZQ925fz/emELwpnttoW/TR+Ksu1v97XhxtzChvvx+bfj1ktxKvg7fKPxk/C3qNsyt9P8ZnwC83puphHPt3J3XGR1A8p7J5lVEbXiu2Dmg+iS80uXB18teu4KrLuiRBCXG48DU5exTnR+v/h7HIFznEeI4H3y14tIYQQ4tzWrl1L7969OXz4MGazmbFjxzJo0CAMhvMNNz+3tBwbQb6FLRg2u41fEt6HCDhx2EhVu/vsWG/MXUOTsAzX/mKvSG7MKZxx34EBZXBNAIl3ZCA3dBnKkx88hVcJwYmvyZdRbUZxVXgUa4dWLRZs5NkLyzIoA41CG3l+s0IIUcF4us6JxjlYfbxSKqAgLePcZwkhhBBlZ7fbeeONNxg5ciR2u526devyzTff0LJlyws63+A4+4xd09cf4qX52/m0ayCdrMvBaOZUg8JWkmyDOnNJESJVCiZjYcvJHO9aPG2MJ91goI7Nxm2Nq7IipbAl5fPtn/P1rq8JDA4iF9B2L5TRCkCITwgr713pCkiKBiZRflEczzpObEDsBd2nEEJcjsr28RLOoEQCEyGEEP+Go0eP0rlzZ15++WXsdjt9+vRh8+bNFx6YbJhCt7+eQB1cDUCuzU5qttV1/KX52wHQS16BNe/CqjdJ/ryT63imwUCKwcBd0VV5OSyEgyYTM7xeJ8CY4spj8ttP59hoelaPom9UJO/3bkJ4UOFsXeBs/cgtGKL5aP2XXOm31rz1rN2yPuvyGZ1rdOb9jtJBQQhReXm8CKMQQgjxb1q4cCF9+/bl1KlT+Pn5MXHiRB566KFSlWFcPAwA/V1/fu62hrcX/8PRlBzWD7uZIEthV66Wht2u7VNGo2s7w2Dgm8AA9nh5scfLi/kB/mw8eJj0s3Ql+9PHmwcXPUiqPnM94UJdrq5P7aqvsjp+Nc80e+as+WICYni3vQzrFEJUbhKcCCGEqNDy8vIYMmQI7733HgDNmjVj5syZ1K9f3+Mys7Mz+e8Pn2O0WRiif+PwxjyuuekOfMwGcm0O8ikMSM4MTmxnNGwcM5nYoariHIpZ3I5TO85aD1+TL/VD6tMorBE96vbw+H6EEKKyKHO3LiGEEOJi2b17N61bt3YFJoMGDeK3334rHpikHoYlr0B6CWvr6oIuVZunuZLSzFZ8o7/Bq+ZnXGtZzjXLnS0wkb6KHoY1hCvntL/52sApY+FbZYZBYdTub51/ensT7+cMTJ5u8n+lur8ldy/BbCindViEEKISKHVwopQyK6WWKaXqXYwKCSGEEABfffUVzZs3Z8uWLYSFhbFgwQLGjx+Pt7d38cxzHoW178Hcx0nLsfHRir0cSc4m58Q2eLserHgDfvivK/txU2HHgUX+FufG/KdZZb2PCV4T98TLMgAAIABJREFUXcc6Wt/hFxq69keHhbK6qvuq66+Eh7q2r6vWxK1r1outXnTLO+y6YTzU8CECzAHEhccR5B1Uuh+KEEJUcqXu1qW1timlmlyMygghhBAZGRk89dRTTJ8+HYAOHTowffp0qlWrVizvruPp9J+2idXZG5wJh9by+o+7mLXxCF9t/4acwNmM15l0WDXW9WmcBrZ7e7nKSD3dbetP5/WylSJHKV4KDyXBtpxTvnlun+Ttyks8a939zH54GQrL7lmvJ7EBsTy74llGtB5B9zrdAXgq7im8jF5nK0YIIa5Yno45mQ48Bgwtx7oIIYS4wm3cuJFevXqxb98+jEYjo0aNYujQoRiLjPso6vVFuzicnA0+hWnL/nbOgpUdOBuAQZHh1LDZiLXl89HJRAZGhLHCz+LKn3bGYPbu1aNIKGhZMbP1guveMrIltavUZuPJja40s9FMm+g2bOyz0S2vn9nvgssVQogriadjTkzAk0qpjUqpSUqpd4t+lWcFhRBCVH4Oh4N3332XNm3asG/fPmJjY1m1ahUvvvhiYWCSdhS+uB12utZpx2Z3oHC4lWXLPAVovPILu38dMpv51eLLSaPRLTAB+NXiy80x1dhrNmMHV2BSGrfUuIWpt07FbDBze+3bifKL4p7695S6HCGEuNJ52nLSGNhcsH3mdCkaIYQQ4gIlJCTQt29ffvrpJwB69uzJlClTCA4Ods+4/FU4+Kvza2QaOBw05x/s6pRbtgj/DQwwL+dzQx5nfga32aeE8So4A5IJ/rGkJt4OzCt2vElYE/5K+sstbXz78QxeORiAq0OudqUHeQfxS89fzrpeiRBCiLPzdIX4DuVdESGEEFeeZcuW0adPH06cOIGPjw/jx4+nf//+KKXItuZzICmLYd9t4/lbruKmrDPGeiwbxf+OTYAi8UaawcCJmF9wDmkv3jlg41mCE4C1hpqkqnr4n5Heqmor3m73NiN/G8myw8tc6Y3DGjO6zWhWHlnJ/Vff73aOBCZCCOGZMq1zopSqC9QBVmutc5RSSmstLSdCCCHOyWazMWLECMaOHYvWmoYNGzJr1iwaN24MwN8n0un2/hrsDudbykOf/8HB5kXCBlsOxG8sVu7Js4xNOe3bwICzHsvzTkUZct3SZt8+mwahDQB4u93bPLv8WYJ9gul3TT+q+lXlznp3cme9Oy/onoUQQpyfR8GJUioUmA10wNmNqx6wH/hMKZWitS7dRO9CCCGuGAcPHuT+++9n/fr1ADzxxBOMHz8ei6VwLMiHy/fi48imvopni64LKLS2c7o9Yu3mDTTJOEoAzjehL4ICqGO1YS7D52NG70QCa0/GXiQtOiDatW0ymJjYaWLxE4UQQpQbTwfEjwdsQCyQXSR9FnBrWSslhBCicvr222+Ja9qE9evXExQUxOzZs5k0aRIWi4WkzDySs6xw6Deqk8An5vHM8x5BF4NzmuDMU8dd5by64zXaBNmJqxnDF0EBvBsSzNNVI0g6T8vJac8kp/Jj1duKpdtxbzkJ9Aosw90KIYQoLU+7dd0CdNFax5/Rr3YPUKPMtRJCCFF55GWS/fNoBs3ew5QZ8wFoXSuAGR+MpGbbNgDkWO3cMn41seoY9YNHEZebx43GTAAmeU3gg/wenDpxhACD85Oxo0ZnoGJXindDCgfObz3HmJKifvX+gCduuYOHN0aw+cR22sXcxIdbx5fjTQshhPCEp8GJH+4tJqeFAHmeV0cIIURls+3zgfQa8QU7Ex0opRh2g5mR7cG8YQScWMT0RlOYvfEIyVlWagf+yk/+fvzk70fvjExXGc+Y5ru2T5xjqt9Z5xhTclpO/AOkBoaCUjx/7fMAOLSDeiE1GbhioCvfCy1f8OBuhRBClIWn3bp+BR4qsq+VUgbgf8CKMtdKCCFEhWfNd5zzuNaajz/+mOsGOgOTKH/FkvcHMuZmH8zGglb3I7/z0vy/2JX1Ewbv4/gaCj/32m02MyvA3zUGRAOHTSYOmj37XO2tdm+Rl9SO/IxGRFfxdTtmUAY6xnZ07ccGxPJQo4fOLEIIIcRF5mnLyf+AZUqploAXMA5ohLPl5IZyqpsQQogK6uftJ3jmm82Mu7sJdzarXux4cnIy/fr147vvvgOgaz0TX9zhQ3ijcFhVmC/doPCtMRmT5SAANydm8SfO1dN7Vo8CnNMDP5GWztiQYGYEnb9lBKBtRAvWJGxyS7u15q18fWcLxsxZzyvdrj7LmU4peSkXdB0hhBDly6OWE631dpyLL64BvsfZzes7oJnWel/5VU8IIURF9Ow3W7DZNYNnbS12bM2vvxLXoA7fffcdBqOJd7pVYcH9voT7GUg8Ge+W94XIqq7ABOCdcL9i5X0QUoWt3l7FApOH0tJZdSienhmZPJaahrYFMrnTZH666ydGtRuHSRX//C0upgqPXOUgPKDksSlDrxsKwIjWI877MxBCCFH+PJ1KOBY4orUeU9IxrfXhMtdMCCFEheXvYyI5Kw8jzq5d+XYHdrudcW+OZeTIkTgcDuqGGAj6z1Ceq/E+FEwCHP731wCMt/VksHku63zMF3S9/0aGF0trnptHiMPByKRkACYc/5jW0a1dx9fevxaAaTun0T6m/QVd54EGD3BHnTvw9zpzKUYhhBD/Bk+7dR0AooCEookF658cAC5sLkchhBCXpVA/L0Zb36aFYTdb9jSl+4SVJC18h7zD2wC4p6kXVR+MIiJ7G9ghwWhki7cXt2TnoICdhlAGR4Rd8PVSC6YIruobzYmcowC0zHWff+W3YR3d9i1m57op/Zv2L9W9SWAihBCXjqcD4hXOsYln8oczJokXQghR6YT4eXG7cT1RKplXXxzM8anPknd4G2azma96+BDTL5oVYQHMinX29O1aPYrnI8P52c8ZMOyK2MVSP8u5LsG1Obl08mvp2lco3ukwjttr3saAlDSCHA5yg+sVHDQQFeR7lpKEEEJcLkrVcqKUerdgUwOvKqWKTidsBFoBf5ZT3YQQQlRQ3mYjefma/y3JY94f8wDwiqrOd3f6caheNov9C8eObPL2Js/g/CzsfxFhfJtuJtUnHVViyU7dTlSla2YOh67tw9LtGwFoEdmCJuFNaNJuHARcAwk78Wn3P1j3IVxzz0W7VyGEEP+e0nbralbwXQHXANYix6zAVuDtcqiXEEKICiY1N5Vnv59JttVO5mEj13+WxZ8nnGNOQm8JJfKeQLrFx3NNcKzbeX2rRbrtbwi0oSg+G1Y9q5U9Xl4AzMnvyExbEyb5F55bPaDIrGDNHyzcvvnlst6aEEKICuKCgxOlVBOgk9barpSaCjyrtc64eFUTQghxKW08sZE0axo3x97MzlM7uW/hfWitSV2byvFpx3HkOQizKBo8GkVKy5AyX+8eUwT2a3qx/OSfLP/bOdVviG9hucE+wWc7VQghRCVRmpaTLUBVIBFoh3N9EyGEEJeppJwkxv4xlnvr38t1UdcBzoUTlVJk27J55JdHAFjgew335WzDnmPn2FfHSPstDYAONY1Mv8uXl+tZ+KMc6uN/0//oXqc7D2hNrVWLAIitUhiQ+Bh9yuEqQgghKrLSBCepQG2cwUlNPB9ML4QQogJ4buVzbEnYworDq5h5y3LW7E1iwtI9fP14K47Zfnfl+yLhN3KSjBz5+AjWBCsYIKJHBI07+BFyKhmLo3Cl+OmBhWuR6HxflCmn2HX7XfME6dY0Zv0zyy3dx+QMPpRSLPu/dqTn2IgMLBzkHu0fXW73LoQQomIqTXAyF1illDqOc0D8RqWUvaSMWuva5VE5IYQQF4dDO9iSsAUAqyOXbl++isHnOLk59zLihx20aLYBAO3QTFqTy8k5J9F2jTnUTMyAGCz1LKwA2vhbsKnCoe1vhjpbOrQ2sO6BVdww67pi1+7d4H7CfMOwmC3M/HsmOfnOAEYVGSJfJ7xwOt/X277OppOb6Fa7W7n/HIQQQlQsFxycaK2fUEp9B9QF3gemADLmRAghLgcZJyA/F4JrQnYy6cp9rizvyJ8AsKU3ITO7OakntpKfnk/8lHgyt2UCENgykOhHojH6FS5lZVMlz7mllINAn5Kn9g3xcY4jea7FcwxqPoimXzUFQJc4Qz10r9Od7nW6X/i9CiGEuGyVarYurfXPAEqpFsB7MiBeCCEqPlu+FeNnnTGkHobOr8KSl0luN7jEvAZTOiOz32DMip3s/TKR/LR8lFkR1TuK4PbBqLMEI2fKz6zvtm8ymHi08aNU9auKQRX2Ci663Si0kQd3J4QQojLxaIV4rfUj5V0RIYQQ5S8hO4Ee8+/gap9cPlbgvcQ57e6p3ydCVGSx/DXVPn745Vd+XGcFDd7R3sQ8GYNP9cLB6A3z8ojIt7PyjEUUZzV4khpxjzHk5xn85/ri3bmeafZMiXVcce8K0vLSqOZfrSy3KoQQohLwKDgBUEq1BO4FYjlj5i6t9V1lrJcQQggPJWbk0e+rjfRsUR1LyEYybJls8PVhrr8/vTOcXbSSDcXnNLEmWtn1yXcsPehcwiq4fTBR90dh8HbPO/V4ApkGA1H5dprk5TEsIgyAwFrt8PPy5sP/FP/8ytd09tXbw3zDCPMN8/h+hRBCVB4ezbillOoFrAMaAHcCZqAR0BFIK7faCSGEKLUv1h3gzyOpvDx/O5sTNrvSvwkMIK0gKEk2Gt3OSfsjjb2v7OXowTwMFgMxT8cQ3Te6WGAC4Ks1EXY7w5NTaJWb60oPDIoplveNG98gwCuA8e3Hl9ftCSGEqMQ8bTkZDgzWWn+klMoABgIHgEnA8fKqnBBCiNKz5hdO7bv8wAbX9kEvMwMjwvjiRIIrOHHkOjg+4zgpq50rtlvqWqg+oDpeYWdfymq5up6b9XoAwu0OHmv8GA4cBHoFFst7e+3b6Var2wWPVRFCCHFl8zQ4qQP8WLBtBfy01lopNR5YDowoj8pVNFlZWYSEhLjeZK1WKzabDZPJhLe3t1s+AF9fXwwFn1LabDasVitGoxEfHx+P8mZnZ6O1xsfHB2PBPxb5+fnk5eVhMBjw9fX1KG9OTg4OhwNvb29MJuevhN1uJzc3t1R5lVJYLIV90HNzc7Hb7Xh5eWE2m0ud1+FwkJPjnGLUz8/PlTcvL4/8/HzMZjNeXl6lzqu1Jjs7GwCLxVLseRZ1vrwX8uzL4/ekpOdZHr8np59nWX9PznyeZf09OdvzLOvvSdHnWTSvzWYjKysLi8Vywb8nZ3uenv6elPY1Ys7OOfx48Efeu+U9Qn1DAeezz7c7+OtISsHZ+aRbT4DdAQoMXgY2+fpw1GRkoiWA3H3ZHJ18nLyTOaAgrGsY4d3CUabCQOK+9Azm+PiTldwc7/DNKKNibsQztL+2D7nfPY3h9ncZ1OLxcz57h8NRYV4jzvwb9+Q1ojR55TWiYrxGZGVlYTabPX6N8OT35FK/RlyJ/0ec/lmIy5zWutRfQDxwTcH2X8D9BdutgTRPyqzIX0AgzrVddEJCgj7ttdde04B+/PHHdVEWi0UD+sCBA6608ePHa0D37t3bLW9YWJgG9Pbt211pkydP1oC+44473PLWqFFDA/qPP/5wpU2fPl0DulOnTm55GzZsqAG9YsUKV9q8efM0oNu0aeOWt2XLlhrQCxcudKUtXrxYA7pp06Zuedu1a6cBPXv2bFfamjVrNKDr1q3rlrdr164a0FOnTnWlbdmyRQO6WrVqbnnvvvtuDegPP/zQlbZ7924N6KCgILe8Dz/8sAb0uHHjXGnx8fEa0CaTyS3vU089pQE9YsQIV1pKSoo+/TytVqsr/fnnn9eAfu655/T8+fO11WrVVqvVlTclJcWVd8SIERrQTz31lNv1TCaTBnR8fLwrbdy4cRrQDz/8sFveoKAgDejdu3e70j788EMN6Lvvvtstb7Vq1TSgt2zZ4kqbOnWqBnTXrl3d8tatW1cDes2aNa602bNna0C3a9fOLW/Tpk01oBcvXuxKW7hwoQZ0y5Yt3fK2adNGA3revHmutBUrVmhAN2zY0C1vp06dNKCnT5/uSvvjjz80oGvUqOGW94477tCAnjx5sitt+/btGtBhYWFueXv37q0BPX78eFfagQMHNKAtFotb3scff1wD+rXXXnOlJSQkuJ7naVarVd9+++0a0MOHD3elZ2ZmuvJmZma60ocPH64BPXDgQLfrXYrXiIBmAXrwklE6KTtJH0g9oKNjojWgqz70jq796jh9+/jbdPUnqmtA+zXy042/aKwbf9FYN5raSJuCTK46m6qYdM3/1dSxz8Q6f5Z1La689uxk3bxFc+ffbb+bdZ0xr+kjyVmX9WvE6b9vrT17jXj++eddafIaUagivkZYrVY9adKkMr1GaK31wIEDL8vXiCvx/4iCr0BdAf5/lC/PvjxtOVkNdAa2Ad8C7ymlOhakLfOwTCGEEOewP3U/B9IO4MhNd6UtOfotS2Z/Czhn5gIwWvZiifmVgyWUkZ+Zz7Gpx8hPywfAO6o+tYYZMAWaSN/kLNfPXPiJscE32DXdry2lLYtefprqwRZ2XYT7E0IIIZR2tgyU7iSlQgAfrfUxpZQB+B/QBtgDvKa1TjlnAZcZpVQgkHbo0CFiYmKkOfYK6Na1dOlSunbtislkki4bHjz7y6lbl81m4/vvv6dTp04Vq1uX1mC3kpWaBPl5+EbUpOk052KFo7zq8XLGP66uWqc58pxjTZRZoQzOOmi7pnNqJndkZfHHcQfvzkjlZJoDk4JXO3gxsflsBt2VxtTdbzHiuhE0rtIYH7MPdy66k+uirmNS50nk5ORwKDGTY5n5dGwY5fY8L7fXCJvNxqpVq+jatStms1m6dVXy1wibzcbChQvp0KGDdOsq5bO/HP+PSEhIoEaNGgBBWuvCT3HEZcWj4ORKczo4SUpKIjQ09FJXR1xkNpuNRYsWuf55EZVbhX3ePzwD2+fhAPKsNpbeOJvh8f8FoKnVzlYv47nPL+LN4wls/CWNUavycGioG2JgZk9f/o64hRfzH2PZ/7UjIkjjb/Z3/dOUbk3H1+SL2VCBfibloMI+b3FRyPO+spw6dYqwsDCQ4OSydsHdupRSflrrCx5pVNr8QghxpTueeZz7F95Ht6Cr6fXXXHZ7mbk5OwdfwLBqhHMqEihVYFL9RBZvfnKK1YfsADzYxMxHXX3ooD8hKT8IgBCLFwFe7rNzlTTzlhBCCHGxlWbMyV6l1HvAl1rrEqcLVs6P3DoBz+Ecl/JG2asohBCV1+r41dgcNm6OvZlFBxZxKi+FrxJ+46sY52rp759MpEN2Dg1Nu4CIUpV918p4PpqVxqkcjb8XfHRPDA/VdS5FNXvArfydmIc130Gw39mnDRZCCCH+TaUJTtoDrwMjlVJbgY3AMSAXCAYa4pytKx9nUDKpXGsqhBCVjNVu5ellTwPweOyX/JX9d7E8z0aGs+jIMbIN9vOW1zc1nWvy8hgcHMrJb08yekkqAM1qhzPr3SHUy90CuxaAdyC1q4ZQu2r53o8QQghRVhccnGit/wF6KqVigXuAG3EOgvcFkoAtQD/gJ631+d9FhRDiCvJP8j98tfMrno57mr8S/yLIO4gagTVcx99bvR6fyG0YfYuf2zWmGs+fKpxnpE9aOvWtNl4Jdx8Dtyu9M91OzuTEBykkx1sBaH3HQ6yYNdk52NaaDbVnQJUaCCGEEBVRqacS1lofBt4p+BJCCHEedoedR35+hAxbBquOrCLN6uxa1euqXq48fjU/PmcZb4cGA9AmO4chyakstrhHMT4qkK27Q2g+K4ccm4OwsDC+/PJLunbtWpjJywLXPo4QQghRUXm6zokQQoiz0FqTmJPIf5f9l9jAWFbHryYn3znt6enABGDmPzNLPN+oNXalSjyWnh8GJOJXZKbF5oHNyZ6VzZxZbwFwdfPWLFswh2rVqpXTHQkhhBD/DglOhBCiHGXbsun1Yy8OpB0AYFdy6Zcr9Naa7ILgpKbVxkGvwilQd+S0ItU7jRy7s9tW9v5sln65lGOHjmE0Ghk9ejRDhgxxrUsghBBCXE4M588ihBDiQi0+tNgVmHjitswsvIq0ioxTjdyOh/u2wjJoAxldPyXppyT2j9nPsUPHqFGjBqtXr2b48OESmAghhLhsSXAihBAXwKEdDF4xmDHrxxQmag15GQAcTj/Mp9s+5XhmiTOtu3kkNZ1FR44VSzdqzctJydyTkQlAI6uReo+4d/2a1+9uUtKzmDjkdU7MOgF2uPvuu/nzzz9p06ZNGe5QCCGEuPSkW5cQQlyA/an7WXp4KQCDWwzGYrbAj8/Bpi/gyXWM2TqBdcfWXVBZrXJzicnPZ2TiKd4JCSbSns9Bs5m5R48ToDUDUtKob7URF9EKk7GwS1eAVwC//7qKBx98kJMnT+Lj48P48ePp37+/a2V3IYQQ4nLmcXCilLoR6I9zzeK7tdZHlVIPAge01mvKq4JCCFERZNgyXNtHM49SPaA6bJqKr9akLn6TdfZNF1ROtC2fFrl5APTMzKJnZhY2INugCHI4u3N5AbdmZUNglOs8na9J+D6BLvO7oLWmUaNGzJo1i0aNGpVwFSGEEOLy5FG3LqVUT+AXIAdoBngXHAoChpdP1YQQouI4lXPKtf35H79zx7y7aVOjOkstvkw+HH9BZVyVZ2VB/DF8iowpATADQQ7NWFsvfndcXXggwrltTbSy//X97Ju3D601AwYMYMOGDRKYCCGEqHQ8HXPyEjBAa90PsBVJXws0L3OthBCigikanHy//xuOZx8mXykGR4YzLfrkBZURYbeTpgN50DqUWfntix1/9pUPiXjws8KESGfrSPyoeHL25xBUJYg5c+bw8ccf4+tbwmqNQgghxGXO025dVwGrS0hPA6p4Xh0hhLg0HNrBmPVjqFOlDr2udi6OaHfYeWfTO9QKqsVrv7/mymu0HPboGgEOBwYc/OpowlpHY47qMJ7z+g60AwCLt5la1aoCkGXVDHp1Kp9+NQOANm3aMGPGDGrUkNXdhRBCVF6eBicngLrAwTPS2wL7y1IhIYT4N9kddpLsSaw+utq1KGKvq3ux9NBSVhxZwQ/7frjgsoquSfKfjEx+CPB3O+6rNUacgYgDA+/b7+K52ONwaG1hJksofwXdwn3vLuPv+BkopRg+fDgjR47EZJI5TIQQQlRunr7TTQHeU0o9CmigmlKqNfA28Gp5VU4IIS621ze8zryMeW5twR1ndyQxJ/G853bMyma5nwWAfqlpdM3M5vmIUPqlptMtK7t4cOJwYKBwvMmgTvWgwaswtRu0H4LWmokTJ/J/wxaQl5dHVFQU06dPp2PHjuVzs0IIIUQF52lwMhbneJVlgAXn23oe8LbW+oNyqpsQQlx08/bNK5Z2rsDElt4Ic+AOAN5OSMKmFBt8vLk2Nw+L1sw/euKs5/pojaGg5WTJ4JuoG+EPSsGwIySnZfDYXXcxf/58ALp168bUqVMJDw8vy+0JIYQQlxWPBsRrpzFACNAYuB4I11q/XJ6VE0KIiuSJlDRC0+q69s2ARWva5eRiOWMGLoBxCUk0ystz7bfPzuGAdk4PXC8ywLU2ya/r1hMXF8f8+fPx8vJiwoQJLFiwQAITIYQQVxyPWk6UUkGAUWudDOwskh4C5Gut08upfkII4TG7w85PB3+iaXhTYgJiylxeFYeD9jlZNDhup4397DN0pWo/lrafR4fjn3Lb7tnMaDCGxo3CCM+eQe/0/xAb4uwKZrfbGTNmDKNGjcLhcFCvXj1mzpxJ8+Yy6aEQQogrk6fdumYCC4CJZ6TfC/wH6FqWSgkhRHlYeWQlw34dBsC2h7eVubwqDjuPhe2gdtrRc+Zb5miOObg6oTd+BKn/o3doXVAKe8P7eHl3Ak2qV+H/2bvv8CirvI3j3zOTngCB0EF6UaQKiAp2sPdKEzDWRRdxUXdxcddV7FhoKi6gFCm+i1gQQRRQFEQUULoiNXTSSJ923j8mpJAEkkkCgdyf68qV5zltzuMwMb+cFhcXR//+/fn2228BGDBgAOPGjaNKlSql7qeIiMjpKtBzTroBSwpJX5qdJyJyyv2Z/GfOdaorNef6lwO/5LsvrmpeH82SV+ZLi3U9wa01PmZmeF8Akm0E4z03Uz86HIJCoGZL/7oSwOkwXHF2HZYvXkiHDh349ttviYqKYtq0aUyZMkWBiYiIVHqBjpyEFlE3GNDJYCJSIVQLqZZzfdWcq5h41UTiM+IZ/M1gooKjuLD+hSVqr6rPv5idoDDwZALwh7M5E+86n9Z1r2TzjhEMnbWay7s2p0vj6gXqZ2Zm8tRTTzF2rH/fkM6dOzNz5kxatmwZ4BOKiIicWQINTn4CHgT+ekz6w8AvpeqRiEgZ+OXAL2xJ3JJzn+JK4aHP7qZxzXMBSHWnsmjnoiLrd83IZFV4GM1cbrZln10SdnTR+3kDoeVVWHc6i1vfQLDTPwh9dpMGLPhHg0Lb27JlC3fffTe//vorAH/729946aWXCAkJKfWzioiInCkCDU5GAF8bYzrg304Y4EqgK3BVWXRMRCRQ25O3M2jBoALpSQ5ISthQZD1jLTZ7CtZ/Difwc1goF2dk8HlUJHuCgmjtcvsLNroAWvbE4B8uPh5rLR988AGPPvoo6enp1KpViw8++IDrrtPSPBERkWMFupXwD8CFwG78i+BvBLYC7a21y8queyIiJfdn0p8nLPPB3gN0T8/Il3Y0MAH4Jet8bk1No6bXx73JKYyITyQnt2HXYvXjyJEj9OvXj9jYWNLT07nyyiv59ddfFZiIiIgUIdAF8Vhr11pr+1lrz7XWdrHWxlpr/yjLzomInMiUDVO4+ZObOZCWu7Xvpn0J+cpcfEwQ0istnfOysrgxNS1f+t/jE6nq9TL6wCHW+5piY79i/blPcn7W29zmGI2vZmtocjFUa3jCfq1atYpOnToxc+ZMnE4nL774IgsXLqRevXqleFoREZEzW6DTujCQH5GEAAAgAElEQVTGOIAWQG2OCXKstd+Vsl8iIifksz5G/TwKgOmbpjOsyzAAtiXmP4OkW0YmTdxuplWrCvhPdjfAdWnppB5OYGTNGgD0TEun/5EUAD62NTCNutG2UTfmX5tFWLATR/AA/85beUZYCvTJ5+P111/n6aefxuPx0LhxY2bOnMmFF5Zs8b2IiEhlFOghjBcAM4DGwLH/l7aAs5T9EhHh293f4nQ46dGgR6H5mxM251ynulNxe33sOJzGEVdSvnIR1sfgxFT2BAXROTMLB7DU24HLnL9yd0oqc5xn4w0LwxVeFVLXA9CxWe4IR82o0GL198CBAwwcOJCFCxcCcOedd/Lee+8RHR1dkscWERGptAIdOXkX+Bm4HtiHPyARESkze1L38OjiRwH4pf8vhDizd7Xy+cDhH6xddyj3YMXdR3bz8oezqPn7Z+xsAETkthXhs0RZy7MHMqlu/OebrPSdQxvHTmqbJFIO3E7tlp2p93hXkqbcRZXEjcT2u6dE/V20aBH33HMPBw4cIDw8nNGjR3P//fdjjjPKIiIiIvkFGpy0BO6w1m4ty86IiBz1076fcq77z+9Pm5g29ExJ5rw1c4i4dwHUaUNcalxOmZX7V7KSlXRvkEEdh4MD5I52RGRvAfy7syXdfGsA2Ggbc2PWSGLMETbZxjQLDSLY6SD63v8D6wNH8QaA3W43I0aM4NVXXwWgbdu2zJ49mzZt2pT6v4GIiEhlE2hwshL/ehMFJyJSLlbtX5VzvSlhE5sSNjEHuL5KELdNfYw9twzmgw0fFKj3Q0TBc2DDsw9P7Na1G96kBqzdtIUVvja4COb5flfy4ierebxnC39hY8AULzDZtm0bffr04aef/IHUww8/zBtvvEF4uM6iFRERCUSgwclY4HVjTF1gHeDOm2mt/a20HRORyuV/v8SR7srim6TnOLvG2RxIP1BouS+iIvkiaj8s/1dOWnBqI9xRu4psO+fwxOjGOK99hVfeXYFrRwLXnFuXy1vXIqOdl8Y1IoqsX5hZs2bx0EMPceTIEaKjo5k4cSK33357idoQERGR/AINTuZkf5+cJ83iXxyvBfEiUiKZbi9P/N+vBFVZR3jD1aw+uJpW1VsVu/6wrLW8HFUjX9o7+w/yl7q1AXAfXfdRvTEAL97Wlu//OEzv8xsBvhL1NS0tjSFDhjB5sv/HX/fu3fnwww9p3LhxidoRERGRggI956RpIV/N8nwXESnSziM7ufmTm/loy0cAJGf4B1+NM/fckd0pu/NXSsv/y78zezSktjOKK9Pyn2PSwO2ha2YmNVPq4HRVo12Wy58R3QiAFrWrMKh7U8KCS/Z3lN9++40uXbowefJkjDE888wzLF26VIGJiIhIGQlo5MRau7OsOyIilcdjix9jW/I2nv/xee5qfReJ6f7gwQSl5JTJ8OQPOG7y/MFn+Hfsqur1smzXHpbW788F+z7MWfAO8O7+g3TMzCLUwpG4WCLIIixsqD8zOrAgwlrL22+/zbBhw8jKyqJ+/fpMnz6dyy+/PKD2REREpHABH8IIYIxpAzSC7N8YsllrPytNuyJy5tqSsIU/k//Ml5aU7h85cYQkFFYFgBbeNI7+qDnL48EBXLF3ek7+5H0H2B4czOIjt9M9+EM2Nr+P+A3VGH5Na0joDeHREFa1xP1NSEggNjaWTz/9FIAbbriB999/n5o1a5a4LRERETm+QA9hbAbMBdqRu9YEcs870ZoTEcnH4/Ow+sBqZm2ZlZMWHuTf1Sope+TEEVx0cFLdm7s2JCjPyUpbfA35psot3Jf6LhtTL2F5rd7w8Eu0Ca3Kr5keqoUHAxMC6vOyZcvo27cvcXFxhISE8OqrrzJkyBCdXSIiIlJOAh05GQ1sB67M/n4+EAO8DjxRNl0TkTPJ++vfZ8yaMfnSMjwZxKXEcSDFfzCiCU4ssn51rzfnOijPNK797f/CdZfdS5tR3fDi5LUeTSGsGkB2YFJyXq+XkSNH8txzz+Hz+WjZsiWzZ8+mU6dOAbUnIiIixRNocHIhcIW19rAxxgf4rLXfG2OGA2MA/R9cRPJ5f8P7haZf+/G1OAjFBD2eb83JUY8kJvFTWBhdMrOo4fWS4HRyebp/PcrWsPZcettgcDiY8WB3dsanc0fnhqXqZ1xcHP369eO7774DYODAgYwbN46oqKhStSsiIiInFuhuXU7g6G8Rh4H62dc7gdal7VRRjDH/MMZYY8xbedLCjDHjjTHxxphUY8wcY0ydY+o1MsZ8YYxJN8YcNMa8Zowp1XobESkZQ9FToXxkEdXyZYyx+dL7JafwcNIRJu8/SKS1XLurHY33deXTQ0PpmDmBD1uPBof/x1i3ZjHc1fWsUk25+vTTT+nQoQPfffcdUVFRTJ8+nQ8++ECBiYiIyEkS6C/o64EO+Kd0rQSeMsa4gAeBbWXUt3yMMV2Bh4BjD3h8E7geuBNIBsYBHwPds+s5gS+A/cBFQD1gKv6DI58uj76KSEF5gwanJxxvUEah5Rq73Yzbf4j6Hg8hwE5fbb5qOYKoLXOZ572WuMxaOWUb1Iwuk765XC6GDh3K22+/DUDnzp2ZNWsWLVq0KJP2RUREpHgCHTkZmafuv/Cfb7IMuA54rAz6lY8xJgr4EHgASMyTXg24D/ibtXaxtfYX4F7gImPMBdnFrgLaAP2ttWuttV8CzwCPGGPy7TImIoHz+rxYawvNs9bmGznp4EnElXAh1jrwpOYfbK3v8fB55g05WwAeIYLIVpcz3PMAcbYWI64/h2G9WnF+kxr0Ob9Rqfu9efNmnnrqqZzAZNiwYSxfvlyBiYiIyCkQ6DknC/NcbwXONsbUABJtUb+dlM544Atr7dfGmBF50jsDwcDXefqz2RizC/+6mB+zv6+z1h7IU28h8A5wLrDm2BczxoQCoXmSqgC43W7cbnfZPJFUWEffY73XxZfpyeTOL+6kabWmjLks/6L37cnbue/r+0jKSspJq+PxknXgBlyHrwDjJarlyzl59T1ePGffDFs/AcBDEK1rR+TkN6sZzsUtavLwJU0AG/D7ZK1lypQpDB06lPT0dGrWrMnkyZO55pprAL3/Zyp9visXvd+Vi97nM0OgWwlPBh6z1uasXrXWJhhjIo0xY621sWXVQWNMb+A8oGsh2XUBl7U26Zj0A9l5R8scKCSfPGWONRz497GJS5YsISIiopDiciZatGjRqe7CaeNP95/sSdvDnrQ9fPbFZ3y3z79L1hX1Le+mvEuSN/9HtIrPxyPOzxkY9BV3uZ4hLq4P4Q1nAlDb7WNjUu4oi8HHhp9/oH0NB4cyDQmbf2L+76Xrb1paGu+++y7Lli0DoH379gwdOhSfz8f8+fNL17icFvT5rlz0flcO6enpp7oLUgYCXXMyEPgHuYvijwoHBgBlEpwYY87Cv21xL2ttZlm0WUwvAW/kua8CxF1++eXExMScxG7IqeB2u1m0aBG9evUiODiwrWgri3WH11Evsh4xyTG8v9i/G9fZF3Rk2FubARjR93JGfDKiQL1In+VvwR8BsDR0GNNMC17NzgtxR9Ljok7wpf/eALddfzV9gp3+6WGlPGNk1apVPP7442zfvh2n08m//vUv2rVrx9VXX633uxLQ57ty0ftducTHx5/qLkgZKFFwYoypiv93BQNUMcbkDRic+NecHCy77tEZqA2szvMLiRO4xBjzKHA1EGKMiT5m9KQO/gXwZH8//5h26+TJK8BamwVkHb0/+trBwcH64VaJ6P0+vi0JWxj41UDCg8IZ2X1kTvqmxN8JqrqGkCrruGvuPzl2k65wn4++R/L/XaO73cHRTf+8nhqc3yz39PVmNSOIiggrdX99Ph+jRo3in//8Jx6PhyZNmjBz5kw6d+7M/Pnz9X5XMnq/Kxe935WD3uMzQ0lHTpLwnwJvgcImVlgKmQ5VCt/gP4U+r/eBzcArwG78u25dCcwBMMa0BhoBK7LLrwD+aYypba09Gjj1Ao4AG8uwryKVyrrD64CjBynuy0l/6ecRhDfwn/h++Jg6YT4fS3ftIeKYpWkxeQ5YvLJdZ5rVyt26t0pIoPt25Dpw4AADBgzgq6++AuDOO+/kvffeIzo6WnOURUREKpCSBieX4/876GLgdiAhT54L2Gmt3VtGfSN7Tcv6vGnGmDQg3lq7Pvt+EvCGMSYBf8AxFlhhrf0xu8pX+IOQacaYp/CvMxkJjM8eIRGRAIQHhedcL9q2POfa5XMVWeeqtPQCgQlAVZ/l6tQ0Mh0Omp17zBmuddqWqp9fffUV99xzDwcPHiQ8PJzRo0dz//33l3p6mIiIiJS9EgUn1tpvAYwxTYFd5bQzV0k9Dvjwj5yE4t+Ja/DRTGut1xhzA/7duVYAacAU/Fsgi0gxLN29lB/3/ciQTkOICPZvCpHmTsvJ35y8+oRt9E8+wl8TkwvNM8CoQ9lzhWu29H+//xtYMx2uDOyj6nK5GDFiBK+99hoAbdu2Zfbs2bRp0yag9kRERKT8Bbog/hzgLOB7AGPMI/jPINkIPGKtTTxO3VKx1l52zH0m8Ej2V1F1duJfDyMiAfjr4r8CkO5O57nuzwGQ4spdN+IpZL+K2pnhHAzzH7RY2+Ph7wnHbqpXhJjs80UadvF/BWDbtm306dOHn376CYDBgwczatQowsPDT1BTRERETqVAJ3O/BlQFMMa0w7+z1Xz8hzG+cZx6InKayTtAOnfrXAZ/PZi7Pr+LbcnbjlvvgT01cq4zTDF/1IRXh6jaAfXzqFmzZtGpUyd++uknoqOj+fjjjxk/frwCExERkdNAoCMnTcldTH478Lm19mljzHn4gxQROUN8sf2LfPfL9vjPBtmUsKlAWesNwTj9a04a2dwpXOmOItZ31GwFLa+CFeP8984QCHAtSFpaGkOGDGHy5MkAdO/enRkzZtCoUelPkRcREZGTI9CRExdw9DTCnvgXnYN/gXzV0nZKRCqGI64jDF82vNjlnb7cLYDbOnbkXEf4/KMvkz3X8PuVk6BKfajeBB7+Hq5+IbeB2oGtB/n111/p0qULkydPxhjDM888w9KlSxWYiIiInGYCDU6+x79D1jP4zxA5+qfVVkBcWXRMRE69/WmFHgVUpJqeGznL7eYviclUNemM23+Q2h4Pbxw8BMDznv5Etrse/rYRHv0FgkL9FQd9AS16wk1jS/R61lrGjRtHt27d2Lx5M/Xr12fx4sU899xzBAUFOjAsIiIip0qg//d+FHgbuAP4i7V2T3b6tcCCsuiYiJwc1lriUuNoENUAxzFrQw6ml+xM1aaOUCbG5Z55cmlGJt/szt1d3OKgTpVQ/9QtZ54fP016+L9KID4+nvvuu49PP/0UgBtuuIH333+fmjVrnqCmiIiIVFQBjZxYa3dZa2+w1naw1k7Kk/64tXZI2XVPRMrb7C2zue7j6xizekyBvLzBSa3QE0+Rev7A34vMm+i5llkPXkCQs/SHKn733Xd07NiRTz/9lJCQEEaPHs1nn32mwEREROQ0V+zfEowxVfNeH++rfLoqIuXhlVWvADBp/aQCeQfSDwDgTe7Krj8vOWFbkdZXZF6N20ZxQbOYAHvp5/F4ePbZZ7n88suJi4ujVatW/PjjjwwZMkSHKoqIiJwBSjKtK9EYU89aexBIAgo7gNFkpzvLonMiUrYOZxxm4rqJ3NHyDlpU958nEu4MJ8XnP7Nk5uaZ1Imow5qDaxjSaUjOyInHVRWfu1pOO+P3H6S+28uGsBBG1MoNOI4ufC/g/Ae57byGper77t276devH8uW+XcLGzRoEGPHjiUqKqpU7YqIiEjFUZLg5Ar8u3EBXF4OfRGRcjbyx5F8s+sbPtryEavvWY21lvCgcFLc/uDkxZUv5pQ9r/Z5bDi8AQCfuzqhntCcvCo+Hy08bpqluvMFJwV+oFzyFDS+yP9VCp9++imxsbEkJCRQpUoV3n33Xfr27VuqNkVERKTiKXZwYq39trBrETl9bIj3Bxtun5sdyTu4b+F9HMwofNH7in0r2JSwiSBHEN7Uc/ivYwxHF5SFZR/MWNS80Eddf2XUP58kLLJaESWKJzMzkyeeeILx48cD0KVLF2bNmkXz5s1L1a6IiIhUTMUOTowx7Ytb1lr7W2DdEZHyFB6Ue0r62DVjiwxMAJbv+R6A9hEN+Mnr5PLgdTwRX4W44CDOdrlzygVZi+eY9R4bbJNSByabNm2id+/e/Pab/8fJE088wQsvvEBISEip2hUREZGKqyTTutbiX09ydF3J8WjNiUgF4vV5cfvc+YITe4KP8c6U3QA03LeBVLMTgIFHUgqUi/b6OBzk/8i7a7dn6JE+3HjRxQH31VrL5MmTGTJkCOnp6dSqVYupU6dyzTXXBNymiIiInB5KEpw0zXPdCRgFvAasyE67EBgGPFU2XRORsjJowSDWHlqbLy1voHI8dbxejGNXvrRNvrM4x+EPXqJ9Xg5n/z0i+PxYxne5N+B+Jicn89BDDzF79mwAevbsydSpU6lXr17AbYqIiMjpo9hbCVtrdx79Ap4GhlhrJ1hrf8v+mgAMBZ4pr86KSMn5rK9AYALgtd5Cy7uTzst3X9fjZWTw+/nS7nb9i7GeW9gZ0pxHE5MBuC6qGZw3IOB+rly5kk6dOjF79myCgoJ4+eWXWbhwoQITERGRSiTQE+LbAdsLSd8OtAm8OyJS1lJcBadiASRlJhWaXu/IWRyOXp1zX9fjyc1sfzfuy//Fx+5qbD98KTWa1eCKnYv5PGUnDc67Fxwln9Hp8/l47bXXGDFiBB6PhyZNmjBz5kwuuOCCErclIiIip7dAg5NNwHBjzP3WWheAMSYEGJ6dJyIVxP/Wbi40PS41rtD0aeZtrqVBzn19T54RllqtCa7ekBZAi9pV/Gmtr6ZJgH3bv38/AwYMYNGiRQDcddddTJgwgejo6ABbFBERkdNZoMHJw8DnQJwx5ujOXO3xL5S/sSw6JiKlt35PMi8u+JmIJgXzdh7ZWSCtXWYWDT1ertjXhPoRv1HDhHIosyUtnBv9BaLqllnfFi5cyIABAzh48CDh4eGMHTuW2NhYnfQuIiJSiQUUnFhrfzLGNAP6AWdnJ88GZlhr08qqcyJSOrsS0jHOE38k+yan0OdICrW9/lGS0ZnfQSZkXTSMGQfWcyHZwUm1BsdppXhcLhcjRozgtddeA6Bdu3bMmjWLNm00I1RERKSyC3TkhOwg5L0y7IuIlLGwYAfOyK3HLfPawcNck5ZeaF5otbr0urY1LFpIeoPuRDTuUar+bNu2jd69e7Nq1SoABg8ezKhRowgPL97OYSIiInJmCzg4EZGKb0/KbkJqrDhumQifr+jM8Oo0bHcHnNOViOgm4Cj2Bn8FzJw5k4ceeoiUlBSqV6/OpEmTuPXWWwNuT0RERM48Ck5EziDf7PyGyJBIFmxfwJ7UPeCqf8I64fY4hzFGVAdjoEazgPuUlpbGX//6V95/378dcY8ePfjwww9p1KhRwG2KiIjImUnBichpJDkrmaW7l9KzcU8igyPz5e0+spuhS4eWuM3jj5zUKHF7ea1du5bevXuzZcsWHA4HI0aM4JlnniEoSD96REREpKDA52iIyEk3dMlQRvwwghdXvgjAgu0LeHHli3h8HjYlFL2Ld8a2Rzg7KyLn/vlD8TnXYccbOQmvHlA/rbWMHTuWbt26sWXLFho0aMDixYv5z3/+o8BEREREihTQbwnGmOeAJcAKa21m2XZJRIry84GfAZi/bT4v9HiBJ797EoAQRwhTNk4ptI434yz6eTbyn72beat6NaJ8lhtT03imVgwAoced1lXykZP4+HhiY2P57LPPALjxxhuZPHkyNWvWLHFbIiIiUrkE+ifMC4G/AUHGmFXAt8BS4AdrbUYZ9U1EihDiDMHmCSqKCkwAqqc0pJvDP6oyNDE5J/35Q/EkOh00zHvIYv1OsHdN7n1o1RL169tvv6Vfv37s2bOHkJAQRo0axaOPPqqzS0RERKRYAprWZa3tBUQDVwLzgS7Ax0CSMeb7suueiBQm3ZPO2kNri1V2qmsOnR2/F0i/JTWNe5NT8id2uS//fTGDCo/Hw7///W+uuOIK9uzZQ+vWrVm5ciV//etfFZiIiIhIsZXmnBMP8IMx5hCQAKQAt5B7KKOIlKMBXw4okPbJTXO55TP/9rzezHo8mrGZZm4PxiSduMFzb4WO/aBmKzAOqNawWP3YvXs3/fr1Y9myZQDce++9jBkzhqioqOI/jIiIiAiBrzl5ELgMuBQIBZbhn9Y1EvitjPomIsVUL7Q6Q3b/gZnzPK7U83GG78S3414Ghz584so1W8NVI6FJd/85Jo26Fft1P/nkE2JjY0lMTKRKlSpMmDCBPn36lOJJREREpDILdOTkXeAQ8DrwtrU2tey6JCKFsUUsXO9atyuT9uzFpKVD2idkZc4ALC8H/fe47a2PuYq2Sd9Ch7uh1VUl6ktmZibDhg3j7bffBqBLly7MmjWL5s2bl6gdERERkbwCDU5uAy4BegP/McaswT9yshT43lqbXia9E5Ec6Z7CP1Y1w2qSkLmHmDxpfZ2L6R20tMi2dvpq8/U5L9D2ypbFXldy1KZNm7j77rtZt24dAE8++SQjR44kJCSkRO2IiIiIHCvQBfGfWGv/Zq09D6gLvAg0AObhX38iImUow5PBmNVjCs2rG1WXdE9ugNHQHOLfQVMLFuzYj62xG3nJ3Yc+rhFEhDhLFJhYa5k4cSKdO3dm3bp11K5dmwULFvDqq68qMBEREZEyEfCCeGNMDP41J5dlf50LJOJffyIiAdqRvAOv9dI8OneK1OzNs5mxeUah5ZtWbUqWz5lzf5ljLaHGze++Bjjx0dyxz5/R6AKqRscwwXsjAOHBzsKaK1RycjIPPfQQs2fPBqBnz55MmzaNunXrlvTxRERERIoU0MiJMWYdcACYgH/E5L9AJ2ttTWvtrWXYP5FKxe11c+MnN3LLp7eQ7s6dxrUhfkORdZqkHCY880DOfX/n1wB86evG8557cgs2upCq4cE5t77jnL2Y18qVK+nUqROzZ88mKCiIl19+mYULFyowERERkTJXmgXx31pr15dlZ0Qqu7jUuJzrQxmHaOBswNytc1mwY0GRdZrMe4rqPl/O/dmO3QCs9rVkr82zEiWmBWF5pnG5PLl1CuPz+XjttdcYMWIEHo+HJk2aMGvWLLp1K/5uXiIiIiIlEVBwYq0dD2CMCQGaAn9mn3siIqWw68iunOsb5t5AVHAUqe7czfAebPcQ762bkHN/XmZWvsAkryt7Xsf3cR42NxzP2We3LbC+xOUtOjjZv38/AwYMYNGiRQDcfffdTJgwgWrVqgX0XCIiIiLFEeg5J+HAOGBgdlIrYJsxZiywx1r7chn1T6RS2XFkR777vIEJQIwzOuf6pYOHuT6t6I3x7uzRjgEhTqBLvvQrzq7N4s0HubVTg0LrLVy4kAEDBnDw4EHCw8MZO3YssbGxOuldREREyl2g07peBjrgXwifd77J18Cz2fkiUkLbk7cfN7/JL9Mgex17FZ+PosIFW7cd4SGFL3ifOKAL6W4vUaH5P/4ul4t//vOfjBo1CoD27dsza9YszjnnnBI9g4iIiEigAloQD9wCPGqt/R7Iu6x2A6BT2EQC4LM+lsUdf7O7FntW5Vwf7y8Lps/sIvMcDlMgMPnzzz/p0aNHTmDyyCOPsHLlSgUmIiIiclIFGpzUAg4Wkh5J/mBFRIphxd4VdJjagYMZhX2s/AZ3GEx1rzfn3hTxSUsZ+DVUK3zKVmFmzJhBp06dWLVqFdWrV2fu3LmMGzeOsLCwYrchIiIiUhYCDU5+Bq7Pc3/016T7gRWl6pHIGWrBjgVMWjep0LwHFz143LohjhDubH5vvtESZ2F/B+g3hypNuxarP6mpqdx7773069ePlJQULr74Yn799VduueWWYtUXERERKWuBrjl5GvjSGNMmu43Hsq8vwn8wo4gc48lvnwTggvoXcG7MuUWWi/SdQ5pjU74044uiywvfsCPPYEZLl7tg5ar1i9WXtWvX0rt3b7Zs2YLD4eCZZ55hxIgRBAUFfC6riIiISKkFNHKSvdakI/7AZB1wFf5pXhdaa38pu+6JnBncvtxAIj4jPl+ex5d/F+4wapP6x9O4Ei7MSauamU40KQB8tzOOhbv3UKOwLYSDjz8Vy1rLmDFj6NatG1u2bKFBgwYsXryYZ599VoGJiIiInHIB/zZirf0TeKAM+yJyxkpxpeRcx6XEMWTxEGLbxtKxdkf2pe7LVzbUUQXrqYr7SEdCavhnSbawiVwZNBOA6j4f1Ys6osQZWmQfDh8+TGxsLJ9//jkAN910E5MnTyYmJqbIOiIiIiInk/5UKlKO0txpzNw8k1bVW+WkvfTTSwAs2b2EdQPXsSou//bBDl+U/8IXkpNW3evj7qCl+crF2ZqM89zC0Duvpq57N2QmF7kQfunSpfTv3589e/YQEhLC66+/ziOPPKKzS0RERKRCKVFwYozxceLduKy1VkGPCPDGz2/w0e8fHbfMU3N/ILxh7v3WA5kA2DzBidtTBcg/HWyO9xJmea/gqZaXQWQIhfF4PDz33HOMHDkSay2tW7dm1qxZdOzYMaDnERERESlPJQ0ibj1O3oXAEALfAUzkjLNy/8rj5ru9bhwhCYXmBflyP0rfu88HduTLz7T+gKRqWOEf4127dtGvXz++//57AGJjYxkzZgyRkZHF7L2IiIjIyVWi4MRa++mxacaY1vhPhL8R+BD4V9l0TeT057NFLQ7xG/DlAEJrr8+X5k1vBkBV68aVnZbkq8EL7r78M3hGTrnq1apxZe3aBDkL/j1g7ty53HfffSQmJlKlShUmTJhAnz59SvcwIiIiIuUs4FEOY0x9Y8x/8e/WFQR0tNYOtNbuLLPeiZzmrD3+LMj18bmBiSvhQtK2PYbPVRuw/MP5f7nt+EK58S8v4TQkTB8AACAASURBVIr9OiftgSvPZdKg/GeaZGRk8Mgjj3DbbbeRmJhI165dWbNmjQITEREROS2UODgxxlQzxrwCbAXOBa601t5orV1/gqoilY494RKtXO09SWziH6wLvY/+zq+50/lDTt51bRvRvmE0IaG5U7JMcHi++hs3bqRbt268/fbbADz55JN8//33NG/evJRPISIiInJylHRB/FPA34H9QJ/CpnmJSK4TjZwc5UrqwtT0uYQaSyhuRga/ny9/8EUX+y/ynmOSHZxYa5k0aRJDhgwhIyOD2rVrM3XqVK6++uoyeQYRERGRk6WkC+JfBjLwj5oMNMYMLKyQtfa20nZM5Ezg4/hrTgBqpUezbd8dhId9XCBv5p79bHOG07pGa39CUJ7RkuBwkpOTefDBB/noI/+OYL169WLq1KnUrVu3TPovIiIicjKVdFrXVOAjIAFIPs6XiFBwQfzgDoMLlJkcv5GbHMsLrd/W5eKmjDwfqaDcQxZ//PV3OnbsyEcffURQUBCvvPIKCxYsUGAiIiIip62S7tY1qJz6IXJmOmZW11lVzyIi/lHSY8YBMCD5CE08HsaEjCuyCa8zDOfRm+BwfNby6g8uRoz8K16vj6ZNmzJz5ky6detWPs8gIiIicpLoTBKRcnTstK60jGAifa3xZtYH4KbUtBO24ew7M+d636FErp6ezvBvsvB6ffTu3Zs1a9YoMBEREZEzgoITkXJ07IL44f/7k+QMN+k7HmLyrjRau9z5K0TWyn9/2dPQ/AoAFixYQIeOHfl6m5eIYJj05khmzJhBtWrVyvMRRERERE4aBSciZWD94fXsOrKL139+nQ3xG9iftp9bPrmF+Mz4/AW94cSnucCG0taTUrChKnXh9kl5ymfhcrl44oknuPbaazl06BDtWzXh56n/JnboPzHGlO+DiYiIiJxEJd2tS0SOse7QOvrO75tz/8GGD+h7dl/+TP6zQNmedj2DQxYzzP0Xwo2rQD5h0dDuDphzHwBbd+2nT/fu/PzzzwA8+uijvPbaa4SFhRWsKyIiInKaU3AiUkrf7/2+QNqMzTMKLTs2aCKhFt4JfqvwxsKyp2j1eJwPJ73Nw69PJTU1jRo1ajB58mRuvvnmsuq2iIiISIWj4ESklIp70CJAaHbRVo49hRcIjyY1NZVHp+9gyqxDAFxyySVMnz6ds846q7RdFREREanQtOZEpJTssfsF5zHt2mnHr3zOTRD7Vc7tGk8rOnfuzJQpU3A4HDz77LMsXrxYgYmIiIhUCho5ESklj89TZF776mdTzesl2enkmpSs/JnGAXdMBmcwtt8cxnw4n6f6PoXL5aJBgwbMmDGDSy65pJx7LyIiIlJxKDgRKaUjWUeKzPvx+2948+BhVoaF8UBycv7MBl3AGczhw4e592+jmTdvHgA333wzkyZNIiYmpjy7LSIiIlLhaFqXSCklu5KLzFvw9UK6ZmbxaFJyznqTHC17sXTpUjp06MC8efMIDQ1l3LhxzJ07V4GJiIiIVEoKTkQCsD9tP7d+eivTNk4jKSupyHLVSS00PfWWKfzr6xSuuOIK9u7dS+vWrVm5ciWPPPKIzi4RERGRSkvTukQCMPePuWxN2sqrq149brnHg+cUSNuV7KPv4Ff4YcWPAMTGxjJmzBgiIyPLpa8iIiIipwsFJyIB2J68vUTlt/rq08Kxl483ubnvswySMn+kSpUqvPfee/Tu3buceikiIiJyetG0LpESSM5KZvGuxXy540sAwrLa8+/D8dxxJIUga3ln/8FC603I7MXD31Xn9o8ySMqE888/n7Vr1yowEREREclDIycixfTNzm8YunRozn14UDgXpV/LHSnzuIM0hscnEgJ0zsjkl/AwWmW5ANh4yMvk/5tNwiF/4PLURSGMXPo9wcHBp+IxRERERCosBScix+H1eXE6nCRkJuQLTADubXsvjp/Tcu5Dsr+/dugws6pU4fYjKfz3FxePLcgkw5NG7aqhTLvJyVXNg0CBiYiIiEgBmtYlUoTRa0Zz8eyLiUuJY3P85gL5raJbUd21r0B6La+Pe/YnMXR2Kg/OyyTDA63Obcdvr93oD0xEREREpFAKTkQKsd+7nymbppDiSmHMmjFsSdxSoMzGPT7qpxdMX7HbQ8d3U/m/jR6CHPBqz1B+++Z/1Gly9snouoiIiMhpS3/GFTlGhieDcSnjcu4PpB3AYfxxfHhQBBmedADeXLCP5SFrc8r5rOWV7108syQLr4Vm1Q0zb4/g/AZOiKwOlzwJSbug3Z0n94FEREREThMKTkSOcewoyeqDqyF7E66U5DoERfq3ET4LL3U9ewHYl+LjnrkZfLPdC0CftkG8c3041cIMNLscImuCMXDXlJP3ICIiIiKnGQUnIsdYf3h9kXnWUzXn+iLHVgC+/MPNwE8yOZRuiQiGcdeGMahjsP+k937/g5a9yr3PIiIiImcCBScix1hzaE2ReVenuFlcDXBFc27WbwxbmskbP/q3DO5Qx8GsO8KpVq8pmZc9QrgnBVr0PEm9FhERETn9KTgRycPldbFy/8oi81/2LCRxt4NRe1vz6ifzWLfPH5jcc8f1vDf2DcLqtjpZXRURERE54yg4Ecnjt0O/kZ694L0w4dYyZ3UG737xCRkuLzXCDZHXPsE/Ro8grG7VIuuJiIiIyIlpK2GRPLYmbS0yz5vpZeAnGdwzN5MMl5dLGjuZ/uC5OFpeSniI8yT2UkREROTMpJETqZTiM+IJcgRRLbQaqa5U3lr9Ftc2vZaf9xY8twQgY0cGR8bvZOohDw4D/740lAHdG/CQdzBYCAtWnC8iIiJSWhX6NypjzHBjzCpjTIox5qAx5hNjTOtjyoQZY8YbY+KNManGmDnGmDrHlGlkjPnCGJOe3c5rxhgFZpVUhieDyz66jB6zemCtZfza8czeMptBCwaxcPf/AMjcfwNZhy/j+a7/pe1vl7D9+R0cOuShYVXDkoER/OvSUMb47mCLbQRAeLBGTkRERERKq6L/gn4pMB5Yhb+vLwJfGWPaWGvTssu8CVwP3AkkA+OAj4HuAMYYJ/AFsB+4CKgHTAXcwNMn7Umkwtiftj/nOs2dVujp796MxjRPTGDcPffwzWr/VK+bWwcx6aYwYiL8Mf02Wz+nfJiCExEREZFSq9DBibX2mrz3xphB+I/D6wx8Z4ypBtwH9LXWLs4ucy+wyRhzgbX2R+AqoA3Q01p7AFhrjHkGeMUY86y11nXynkgqAmttzvWUjVPw+Dz58r1ZtUnfksCGeSPYl2oJdcLrV4UxuGv22SXZttu6OdehQRV6EFJERETktFChg5NCVMv+npD9vTMQDHx9tIC1drMxZhdwIfBj9vd12YHJUQuBd4BzgQKHWhhjQoHQPElVANxuN263u2yeRE6ZlMyUnOt3f303X571WvZ9GEzSdyMAy9k1Hcy6PZwOdQuOjCQTRZOYCG7qUA+Px1MgX04PRz/T+mxXDnq/Kxe935WL3uczw2kTnBhjHMBbwA/W2qNHeNcFXNbapGOKH8jOO1rmQCH55ClzrOHAv49NXLJkCRERESXtulQw2z3bC013HXYRNyGO9D82AHBfp2BGXxNGZEjuaMnis1+kcfy3fJ3enE6RPga0PIIj4wjz5xe+kF5OH4sWLTrVXZCTSO935aL3u3JITy/6KAA5fZw2wQn+tSdtgR4n4bVeAt7Ic18FiLv88suJiYk5CS8v5WnZnmXwbf605J+T2TN5D750HyYkgrrXPMzEThML1L34pnsg+EFigdiT010pZ263m0WLFtGrVy+Cg4NPdXeknOn9rlz0flcu8fHxp7oLUgZOi+DEGDMOuAG4xFoblydrPxBijIk+ZvSkTnbe0TLnH9NknTx5BVhrs4CsPK8PQHBwsH64nQFc5C4z8rl87J+5n4Ql/pmC4c0iqd5rNLNrTSq0bnCEDlo8U+nzXbno/a5c9H5XDnqPzwwVehWv8RsH3ApcYa09dj7OL/h33boyT53WQCNgRXbSCqCdMaZ2nnq9gCPAxvLqu1RcGe4MADL3ZPLnc3/mBCY1r6tJkyc6USW6Oj2cGwpWbH39yeymiIiISKVT0UdOxgN9gZuBFGPM0TUiydbaDGttsjFmEvCGMSYBf8AxFliRvVMXwFf4g5Bpxpin8K8zGQmMzx4hkUrAWsuk9ZNoEd2CNHcaCUsT2DdjH9ZlCaoaRMMHGxLVNgpvRhUiySxQf/UlkznvgstPQc9FREREKo+KHpz8Jfv70mPS7wU+yL5+HPABc/DvsLUQGHy0oLXWa4y5Af/uXCuANGAK8K/y6rRUPGsOrmH06tF407xEfBrB3q/2AhDVNoqGDzQkqJr/o1A7rQa9g74oUN/R/FKIqHFS+ywiIiJS2VTo4MRaa4pRJhN4JPurqDI7gevKsGtymjmccZj0rensfmc37ng3OKHuHXWJuToG4zCk73gIZ+SfTEn5hMZBCQXq16oWeQp6LSIiIlK5VOjgRKQseL1e3h/9PtvGbAMfRNSJoO5DdYlolrsttDejKWeFt6GxmZyTlh5RnyeS7mCfjWFmZMip6LqIiIhIpaLgRM5oe/fu5da7b+Wn738CoNoF1ag/sD7OcCdZh3phvRH4MusB0LaWA3bmqRwSxXzfBQCEBRc8hFFEREREypaCEzljzZ8/n4EDB3L48GFMiKH+PfWJ7hGdszW09YXgTrwQgIbmEH1cC/PVD4usyojrz6FJjKZ0iYiIiJwMCk7kjJOVlcXw4cN58803AQg7K4yz/nIWofVD8xfMXtLkwMfikL8Rss+bP98RxP0XNzsZXRYRERERFJzIGeaPP/6gd+/erF69GoCYXjHUubMOjpCCR/p4UtoBcJljLSHGWyAfr7tc+yoiIiIi+VXoQxhFSuKFt1/g3A7nsnr1amrUqEGjxxpRr189HCEOXPGXkLb90Zyy7h2xWE81ANqYnYW2Z3wKTkREREROJgUnctpLSUlh4MCBjHhkBO4MNxGtI3hh7gtU7VQVAPeRc3HFX4wvsyEjDyTyWEISnbNyD1rsFFVw62AAfJ6T0X0RERERyaZpXXJaW716Nb179+aPP/4AA7VvqU2tG2sxfvt4fwFXPTL33ANAKC5uTk8BIMOxmZ99ZzOj6jg6Z/3sL9voQmxGIubQZv+9pnWJiIiInFQKTuS0ZK1l9OjRPPXUU7jdbho2bEjwPcFEtj5mZy137qnuVUnLuf5Lk/1EV8mk86afc8te9xqmbjt41j/dS8GJiIiIyMmlaV1y2jl06BA33HADjz/+OG63m1tuuYVff/21YGACuDJjqEI6zwW9z4WOjTnpQftWc0+b4NyCDTpDzdb5K4dWKa9HEBEREZFCKDiR08qSJUvo0KED8+fPJzQ0lPHjx/Pxxx9To0aNAmWDTBCuxG68FDyRAUGLGBMyPjfT64I59/mvW/SEBxZDkP8UeM/tUzgS1hDPTeMLtCkiIiIi5UfTuuS04PF4ePbZZ3nxxRex1nLOOecwa9Ys2rdvX2SdmmF1Od/7JzeE/Hj8xsOi893as69nyTbDdbXblEXXRURERKSYFJxIhbdz50769u3L8uXLAbj//vt56623iIzMncZlrS1Qz6ZnMiHkrRO/QHj1MuuriIiIiARO07qkQpszZw4dO3Zk+fLlVK1alVmzZvHf//43X2ACkO5JL1A3IvNI4Y0eOyISHl14ORERERE5qRScSIWUkZHBww8/zB133EFSUhLdunVj7dq13H333YWWT3GlFEir4ivk1HeAkEg4/6Hc+zAFJyIiIiIVgYITqXA2bNhA165dmTBhAsYY/vGPf7Bs2TKaNm2ar5zP+lh9YDWvrnqVQ+mHAKgWUg3vkY4A3JVYxCGKwRHQ6z+59w5nuTyHiIiIiJSM1pxIhWGt5b333mPo0KFkZmZSp04dpk2bRq9evQqU/WTrJzzzwzM59y6vC4DI4Cji9tyJOXAtFzqHg8kuUK0R9JkBi0dCr+chODy3MU9WeT6WiIiIiBSTghOpEBITE3nggQeYM2cOAFdffTVTpkyhTp06Bcpaaxn548h8aav2rwKgVng9YhybuJafqG2ScgsYoG476Du74IvX61BmzyEiIiIigVNwIqfc8uXL6dOnD7t27SIoKIiXX36Zxx9/HIej4KxDr8/LnD/mkOXNP9qxLXkbAA1Cz+KVkBcLeRVTMGnwSji4EZpdVvqHEBEREZFS05oTOWW8Xi8vvPACl1xyCbt27aJ58+YsX76cYcOGFRqYAEzfNJ3nf3wegBbRLbiv7X358nus/W/hL2YKaa/22dD2NjCFBC4iIiIictJp5EROib1799K/f3+WLFkCQN++fXnnnXeoWrXqcet9uOnDnOsqIVVISc//T7hLRhHrRxSAiIiIiFR4Ck7kpPviiy8YNGgQhw8fJiIigvHjxzNw4EDMcQKILQlbiM+Ix5FnBKRqSFV+2paRcz84MYl63iK2D67aoMz6LyIiIiLlQ8GJnDRZWVkMHz6cN998E4COHTsya9YsWrduffx63izu+PwOAEyetSMuVwi7DwM1/fctXO6ClcOioc65cNPYMnkGERERESk/Ck7kpPjjjz/o3bs3q1evBmDIkCG8+uqrhIaGnrDukl1Lcq4tNud6xyEfKelBRGTfx3h9uZU69Ye9v8I1L0LTS8rkGURERESkfCk4kXI3bdo0Bg8eTGpqKjExMbz//vvceOONxaqb4kph5uaZhebtSQDrzT2vJCbvlK7zH4J67UvVbxERERE5uRScSLlJSUlh8ODBTJ8+HYBLL72UDz/8kAYNir/+48GvHmR9/PpC89weCzZ3DUrNvMFJ9caBdVpEREREThkFJ1IufvnlF3r37s3WrVtxOBw8++yzPP300zidzhPWTc5KJnZhLD0b9SwyMAHAWHwu/4KTYAsR1sIFg6FLLIRVK6tHEREREZGTRMGJlClrLW+99RZ///vfcbvdnHXWWcyYMYMePXoUq/6G+A30ntcbgN8Tfz9u2WhScEZGMi/iPEI2fupfKt+pP9RsWcqnEBEREZFTQcGJlJlDhw4xaNAg5s+fD8Ctt97KxIkTqVGjRrHbeOaHZ4pd9uaMA4RX20DMhk9yE6s1LHZ9EREREalYdEK8lInFixfToUMH5s+fT2hoKG+//TZz5swpUWACkOpKLTLPm5G7VmXyvgO0zbLckvV5/kKhxz/EUUREREQqLo2cSKm43W6effZZXnrpJay1nHPOOcyePZt27doF1F6tiFrsS9tXaN5Fu7vQvM5u6nuS6ZqZBc7lcGwso5PgRURERE5bCk4kYDt27KBv376sWLECgAceeIC33nqLiIiIE9QsWnRodIE0V+IF+LLqMDF4LCQE3LSIiIiIVHCa1iUB+d///kfHjh1ZsWIFVatWZfbs2bz33nulCkwAMj2Z+e47Ve9J1v5baJp0nLUkMS383+sENlojIiIiIhWDRk6kRNLT03n88cd57733ALjggguYMWMGTZs2LXXb87bN46f9PwEwrPMwDqelMe7TugD8O2hq0RVjv4JfJkP73qXug4iIiIicOho5kWJbv349559/Pu+99x7GGIYPH853331X6sAkMTOROb/PYfiy4TlpHWp34Mj+S6nuc9HSxNHduQG3dTLE9QibfGflbyAyBi55EqKPSRcRERGR04pGTuSErLVMmDCBxx9/nMzMTOrWrcu0adPo2bNnmbQ/ds1Y/u/3/8uXFhkcid25lDVhT+ak/RTUmQuue5hWXV+At9rCkTio275M+iAiIiIip56CEzmuxMREHnjgAebMmQPAtddeywcffEDt2rXLpP1lccsKBCYAG+KyaH54cb6xve6XXk33bo38N/fMhWWvw5X/KpN+iIiIiMipp2ldUqQffviBjh07MmfOHIKDgxk1ahTz5s0rk8Ak05PJSytfYvA3gwvNf3zmFqzPlz8xslbuda1WcNsEqNYAERERETkzKDiRArxeLy+88AKXXnopu3btonnz5ixfvpxhw4bhcAT+T2ZD/AambpiKz/p445c3mLF5Rk6e01eDjLg+uYV9odQxifkbiKwZ8GuLiIiISMWnaV2Sz969e+nfvz9LliwBoF+/frz99ttUrVr6k9d7z/PvphUVEsWfSX/my/PGDcab5c25P89s5byQ3eDNUyjvyImIiIiInHEUnEiOefPmMWjQIOLj44mMjGT8+PEMGDAAU8anrv97+b8LpKWkhzLU+Snd4xKZ7L6Zd0KfzR+YgEZORERERM5wCk6ErKws/v73vzN69GgAOnXqxMyZM2nduvXJ64QNZmjQx+CGrkwvvIxGTkRERETOaApOKrnff/+d3r17s2bNGgAee+wxXnnlFUJDQ8v0dTI8GaVvJCSq9G2IiIiISIWl4KQSmzp1KoMHDyYtLY2YmBg++OADbrjhhjJr32d9/JH4B82jm5OUmXTcssF4is6s0w7qdYAynl4mIiIiIhWLgpNKKCUlhcGDBzN9un/61GWXXcb06dNp0KBst+WdvH4yo1ePpv85/QlyHP+fWm0SC8+4YDBc81KZ9ktEREREKiYFJ5XML7/8Qu/evdm6dSsOh4P//Oc/DB8+HKfTWeavNXq1fw3L9E1FrCHJo8C2wQA1mkOv58q6WyIiIiJSQemck0rC5/PxxhtvcOGFF7J161YaNWrEd999x4gRI8olMAEwFD4Nq3v97vnu3ckdqWsSCik4BJzB5dE1EREREamANHJSCRw8eJBBgwbx5ZdfAnDbbbcxceJEqlevXq6vGxYUVmAhfLe63XB7c4OWtO2D8WXVp53z/wo2EF6jXPsnIiIiIhWLRk7OcN988w0dOnTgyy+/JDQ0lHfeeYf//e9/5R6YAIQ68+/4VcV1Mf2aP8XKP3MXx3d3JfFJ8LP8Jehzf0KTi3MrRCg4EREREalMFJycodxuN08//TS9evVi//79tGnThlWrVvHwww+X+aGKR22K38S8bfNy7oMd+adk7dvZnXe+iSckKywnbVrIy3R0bMstdP0b0OZmqN4E6rYvl36KiIiISMWkaV1noB07dtCnTx9+/PFHAB588EHefPNNIiIiyu01fdbHXfPuAqB+ZH3Oq3MeKa6UfGWsN5KfticwK2w1H4Wlc11qWm5meA3oMRRqtYI7p/jT/r+9u4+zcs7/OP76zDTTUITuY1N0IzdbKjLYSOWeZW0KpdgKi9RSyv6sYpdibfET0lrRLa3YxZKNX0glIUIqpYypqcw0Nc1953x/f1zX1Jkz01TMnHPmnPfz8bgec873+72u87nmM48z53Ou6/pemjpYREREJKGoOIkzc+fOZciQIezYsYMGDRowdepU+vTpU6Ov+WPhj8xaNWvP84FvDeTFS1+kKFBUfqBLIZkAp7uNnLHV4ZJTvfb6zeCu1XvHqSgRERERSUgqTuJEQUEBw4cPZ+rUqQCkp6cza9YsWrVqVeOvfe0b17I5f3O5thvn31hxXPI7fBZsQ5I5nCVht38C79wP6bfWeIwiIiIiEvtUnMSBL7/8kr59+/L1119jZowePZpx48aRkhKZaXjDCxOA/NK9p2wdEgxycX4BY1Oe3dNmhzaEI1rCVX+PSIwiIiIiEvtUnNRizjmmTJnCiBEjKCoqolmzZsyYMYOePXtGLIadJTur7D8mryGvZK+grnPlO+o1rsGoRERERKQ2UnFSS23fvp3Bgwczb948AC666CKmTZtGkyZNIhrHutx1FdpcSRMsdSsA6W4DaeGFCUBKzV2cLyIiIiK1k6YSroUWLVpEx44dmTdvHikpKTz66KO8/vrrES9MANZuX1vu+Ul1hrFr3QiSS+sBcG5BYWWrwc7Mmg5NRERERGoZHTmpRQKBAA899BD33XcfwWCQNm3aMHv2bLp27Rq1mL7N/bbc85LiNHonfcKDm1ezKjWVXxUWVb5inbTK20VEREQkYenISS2RmZlJr169uPfeewkGg/Tv359PP/00qoXJ5MXvMvub2eXaNm/cwuA6/6FxIEj3wiIqTAp84Xg46nj49RMRi1NEREREagcdOakFXn/9dQYNGkR2djb16tXjySef5Prrr49aPDtLdvLvNe8w+fNnSQ67dGR80gyKdh+275U7XQdn3FKzAYqIiIhIraTiJIYVFxdz991389hjjwFw6qmnMmfOHNq1axe1mBZnLubO9+5kV+muCoUJwJnuO7YkNSrf2Pl6OPYs73Ha4TUfpIiIiIjUSipOYtSaNWvo168fn332GQDDhw9n/Pjx1K1bN+KxvJfxHu9mvEvXpl25Z9E9Ffrrf3MHJx47gUaBACnAMfbj3s6zR0CvsZEKVURERERqMRUnMcY5xwsvvMCtt95Kfn4+jRo14rnnnuPSSy+NWky3vXsbAPPWztvTVrrzFCypmEBBK7rbRiZnba244uB34ZgukQpTRERERGo5FScxJC8vj1tuuYWZM2cC0KNHD2bMmEGLFi2iFlNuUW6Ftt35rSnechnpx7amd6emnLxyAmTBd/VPZUFuc46xbVxw41iSVJiIiIiIyEFQcRIjli9fTr9+/Vi3bh3JycmMGzeO0aNHk5ycHPFYAsEAq7evJtmS+XLb6nJ9wZKGFH5/EwBP9e9Cg0AuLJoPwBdNr+AvP7YFYEPrsyMbtIiIiIjUeipOoiwYDDJx4kTGjBlDaWkpLVu2ZNasWZx11llRi2n619N59JNHK+0LFB4NwN+u7kiDQ1Lgw9lQmANNTiLvuEvgqzWRDFVERERE4oiKkyjaunUrAwcO5K233gLgqquuYurUqRx55JFRiWdnyU4e/OhB3lj/Rrl255Ip3X46h9VfSXpeEm1Ocfxm9Ug44mb4yr8OpesN9Ol8HEs35tG9beMoRC8iIiIitZ2KkyhZsGABAwYMICsri7S0NCZNmsTQoUMxq3Dbwoh5eNnDFQqT5OAR7NzYHytqzvIdLwJfw9p/e52r/+P9TKoDJ1xKV99ITgAAEd9JREFU3TrJPHFt58gGLSIiIiJxQ3eIj7DS0lLGjBnD+eefT1ZWFieeeCIff/wxN910U1QKk6ALsnTzUooDxXyc9XGF/qMC53FxSQbvpN61742cOQwOb16DUYqIiIhIItCRkwjasGED11xzDUuXLgVg6NChTJw4kUMPreRuhhHy6revct/i+/bZn5Fdyrupk6veyPE9qjkqEREREUlEOnISIXPnzqVTp04sXbqUBg0a8NJLLzFlypSoFiYAL65+scr+pgWVXP/S+ATodvPe501OquaoRERERCQRqTipYQUFBQwdOpSrr76aHTt2kJ6ezooVK+jTp0+0QwOgaHdRpe0l27uRv34YPXb/UL7jt8/BLYuhw+V72+o1rMEIRURERCRR6LSuGrRy5Ur69u3LqlWrMDPGjBnD2LFjSUlJiWpczjmKAkVs2rWJ9TvWA/B49+n8z5uvsmlTG5JSszm0oDmftXqGQ8OvQ2l7PiQlQ6uzoM80OLJVxOMXERERkfik4qQGOOd4+umnGTFiBMXFxTRv3pzp06fTs2fPaIfG+EXP8+p3z5Mf3LanLaWkHUP/vonWwWZ8mHovLYI5kAZkhax4dFc4/jyoW39v20lXRixuEREREYl/Kk6qWU5ODoMHD+aVV14B4OKLL2batGk0bhy9e3+MfG8kX2z7glkXz2H6qn+QlJqzp8+5ZIo3XkIX9xV3p8yhheVU3EDfmdDh0ghGLCIiIiKJSMVJNVq0aBHXXnstGRkZpKSkMGHCBO644w6SkqJ3aU/h7kLe2uDd5PHcud1JSi3f3zC3DW8nj6JundLKN3DRwypMRERERCQidEF8NQgEAjzwwAOcc845ZGRk0KZNG5YsWcKIESOiWpgAPPzRpErbf5F5LqdsO553c/9LXQspTDpcDrd/uvf5cZomWEREREQiQ0dOfqbMzEz69+/PwoULARgwYACTJ0/msMMOi0o863PXs3HnRnq07MGyzcv457ezKow5rqSUf5W8ACUhjb3GQm4GdB/p3VDxD6sgfxs0bhep0EVEREQkwak4+Rlee+01brjhBrKzs6lXrx5PPfUUAwYMiEosuQUl/HftV0xYOYTiQDFGEnXcYeDfdP64/EN5MHc9cw+vz1U7d1XcQJdBcEjIPU0Ob+EtIiIiIiIRouLkJyguLmbUqFE8/vjjAHTu3Jk5c+bQtm3biLx+Vn4W73z/DoFggAtbX8iu4t389p/DKU1dtWeMI0ip7QAHI3acwA3b38aAk370L3hvdgpc9hhsWgFpDcoXJiIiIiIiUZBQxYmZ3QqMBJoBnwO3O+eWHcw2Vq9eTb9+/VixYgUAw4cPZ/z48dStW7fa4w1VUFpARl4GG3I3cdcHw/a0P7L8Ee9BauXrpRcVcuP2t70nRx0PZ9wCpw/ZO+DoLjUUsYiIiIjIwUmY4sTM+gJ/A24GPgKGA/PNrL1zbuuBbGP27NmMHj2a/Px8GjVqxLRp07jkkkuqJb7dwd04HHWsDsWBYvJK8nj605ms/G4VwZQ8Vhev3O82Ls/bRY+CQrbUSWZZWhqNAwFuzt3hdXa5AS5+BJKjewNIEREREZF9SZjiBPgDMNU59xyAmd0MXALcCIw/kA3cfvvtALQ/5VhuHHE5mbsX88y/Fh9wAAEXZFtJHsWBAAUU8f3uTQSLAmQmb6cw2bs6vX4wlWIrpdTc3hWLK26rjnPc+2MOb9Y/lCMCQa7ZuYvOxd5Ad9oQrmt/EQRKIVAC9ZtCy24HHKeIiIiISDQkRHFiZqlAF+ChsjbnXNDMFgDplYyvC4Sep7Vn6q1GlzXCLjyEacULYHM1BRjY+3AHhRW6DwkGObugiPSiIrYlJ1NqcE5BIW1Ld3NealsClz1O0pr5ZB97NphBwzZgYVMYZ2dXU7Dxr7S0lIKCArKzs0lJ0ZGmeKd8JxblO7Eo34klJ6eSG0lLrWPOuf2PquXMrAWQCZzpnFsS0v4wcI5zrlvY+LHAfRENUkRERESqQ2vn3IZoByE/TUIcOfkJHsK7PqXMYcAPwDFAXlQikkhSvhOL8p1YlO/EonwnlrJ86xBKLZYoxcmPeCdPNQ1rbwpkhQ92zhUTcqWHmZU9zHPO7ayhGCVGKN+JRflOLMp3YlG+E0tIvqUWS9r/kNrPOVcCfAL0LGszsyT/+ZJ9rSciIiIiIpGTKEdOwDtN63kzWw4sw5tKuB7wXFSjEhERERERIIGKE+fci2bWGLgf7yaMK4ALnXNbDmD1YmAclU7qK3FI+U4syndiUb4Ti/KdWJTvOJAQs3WJiIiIiEjsS4hrTkREREREJPapOBERERERkZig4kRERERERGKCihMREREREYkJKk4OgJndamYbzKzIzD4ys9OjHZMcHDMbY2Yfm1memW01s1fNrH3YmDQzm2xm2Wa2y8xeNrOmYWNamtkbZlbgb+cRM0uYWe9qKzMbbWbOzCaFtCnfccTMjjazGX4+C81spZl1Dek3M7vfzDb7/QvMrG3YNo4ys5lmttPMcs3sWTOrH/m9kaqYWbKZPWBm3/m5XGdm91rIHfiU79rLzLqb2Wtmtsl/374irL9acmtmvzSzD/zPdhlmNioS+yf7p+JkP8ysL949UsYBnYHPgflm1iSqgcnBOgeYDJwB9AZSgLfNrF7ImInAZUAff3wLYF5Zp5klA28AqcCZwEBgEN701BKjzOw04Cbgi7Au5TtOmNmRwIdAKXARcCJwJ7A9ZNgoYBhwM9ANyMd7L08LGTMTOAnvPeJSoDvwTE3HLwftbuAW4Dagg/98FHB7yBjlu/aqh/dZ69Z99P/s3JrZ4cDbwEagCzASGGtmQ6t1T+Sncc5pqWIBPgKeCHmeBGQCo6Mdm5afldfGgAO6+88bACXAb0PGnOCPOcN/fhEQAJqGjLkZ2AGkRnuftFSa5/rAGqAXsBCYpHzH3wKMBz6oot+AzcBdIW0NgCKgn/+8g5//riFjLgSCQIto76OWcvl8HXg2rO1lYIbyHV+Ln6MrQp5XS27xituc0Pdy/33km2jvsxanIydVMbNUvIp6QVmbcy7oP0+PVlxSLRr4P3P8n13wjqaE5vob4Hv25jodWOnK37hzPnA43jc0EnsmA2845xaEtSvf8eVyYLmZzfVPv/vMzIaE9LfGu/luaL534H35FJrvXOfc8pD1FuB9oOlWo9HLwVoM9DSzdgBm1hE4G3jT71e+41d15TYdeN85VxIyZj7Q3j8SK1Gkc6er1ghIBsLvIr8F71tWqYXMLAmYBHzonPvSb24GlDjncsOGb/H7ysZU9rdAyBiJEWbWD+9UzNMq6Va+48txeN+E/g14EC/nj5tZiXPuefbmq7J8huZ7a2inc263meWgfMea8XhfEnxjZgG8/9N/dM7N9PuV7/hVXbltBnxXyTbK+rYjUaPiRBLRZOBkvG/aJA6Z2S+Ax4DezrmiaMcjNS4JWO6cu8d//pmZnYx3Gt7z0QtLasjVwHXAtcBXQCdgkplt8otREanFdFpX1X7EP+c8rL0pkBX5cOTnMrMn8C6O6+Gc+yGkKwtINbMjwlYJzXUWlf8tgP4eYk0XoAnwqZntNrPdeBe9D/Mfb0H5jiebga/D2lYBLf3HZfmq6r08C+9vZg9/ZrajUL5jzSPAeOfcHOfcSufcdLwJLsb4/cp3/Kqu3Or9PYapOKmCfy7iJ0DPsjb/lKCewJJoxSUHz5968AngSuA851z44dxP8Gb6Cc11e7wPN2W5XgKcEjZTW29gJxU/GEl0vQOcgveNatmyHG8Gl7LHynf8+BBoH9bWDm8mHvBO38iifL4Pxzv/PDTfR5hZl5BtnIf3f/KjGohZfrpD8a4fCBVg72ca5Tt+VVdulwDdzSwlZExvYLVzTqd0RVu0r8iP9QXoizcLxEC8GSCm4J2L2DTasWk5qDw+CeTifXveLGQ5JGTMU3gfZnrgffO+GFgc0p8MrMS7aK4jcAHeea0PRnv/tBzQ38BC/Nm6lO/4WvCuMSkF7gHa4J3ukw9cFzLmbv+9+3K8wvVVYD2QFjLmTeBT4HTgLLyZ3mZFe/+0VMj3NOAH4BKgFd6XTtuACcp37V/wZlks+1LJASP8xy2rK7d4k+JkAS/gTXDS13/PGBrt/dfiVJwc0C/Jm0t9I1CMV3V3i3ZMWg46h24fy6CQMWl416Pk+G9S84BmYds5FvgPUOD/M/wrUCfa+6flgP4GwosT5TuOFrzTNVfifZm0ChgS1m9496jJ8scsANqFjTkKmAXk4U0Z/Q+gfrT3TUuFXB+GN6nJRqAQWAf8mfLTwirftXQBzt3H/+tp1Zlb4JfAB/42fgDujva+a/EW8xMkIiIiIiISVbrmREREREREYoKKExERERERiQkqTkREREREJCaoOBERERERkZig4kRERERERGKCihMREREREYkJKk5ERERERCQmqDgREREREZGYoOJERCSKzGyDmQ3fzxhnZlcc5HYXmtmkg3kdERGRaFNxIiJSA8zsF2b2DzPbZGYlZrbRzB4zs4ZRCuk04JkDGahCRkREokXFiYhINTOz44DlQFvgGqANcDPQE1hiZkdFOibn3DbnXEGkX1dERORgqDgREal+k4ES4Hzn3HvOue+dc28CvYCjgb/sa0Uza2tm75tZkZl9bWa99/diZlbPzF4ws11mttnM7qxkzJ6jIeYZa2bfm1mxf3Tncb9vIXAsMNE/ncz57Q3NbLaZZZpZgZmtNLNrwl5joZk9bmYPm1mOmWWZ2diwMUeY2RQz2+Lv45dmdmlI/9lm9oGZFZpZhr+9evv7HYiISHxQcSIiUo38oyIXAE865wpD+5xzWcBMoK+ZWSXrJgHz8AqbbnhHWyYcwMs+ApwD/Bo4HzgX6FzF+KuAEcBNeEd3rgBW+n2/AX4A/gQ09xeANOAT4BLgZLxTxKab2elh2x4I5PvxjwL+VFZg+fv3JnAW0B84ERgNBPz+44G3gJeBXwJ9gbOBJw7gdyAiInGgTrQDEBGJM20BA1bto38VcCTQGNga1tcLOAG4wDm3CcDM7sH7QF8pM6sP/A7o75x7x28biFdg7EtLIAtY4JwrBb4HlgE453LMLADk+cUUfnsm8NeQbfyvmV0AXF22ru8L59w4//FaM7sN73S2//r7dzrQwTm3xh+zPmTdMcBM59ykkPWHAe+Z2S3OuaIq9klEROKAjpyIiNSMCkdGDkAHIKOsMPEt2c86xwOpwEdlDc65HGB1FevMBQ4B1pvZVDO70syq/LLKzJLN7F7/dK4cM9uFd4SoZdjQL8Kebwaa+I87AT+EFCbhOgKD/NPTdvmvMR/vf1XrquITEZH4oOJERKR6fQs4vEKjMh2A7cC2iEUUxjmXAbQHfg8UAk8C75tZShWrjQTuwDvNrAdeoTEfrzAKVRr+cuz9X1NI1eoDU/xtly0d8Y5GrdvPuiIiEgdUnIiIVCPnXDbeKUy/N7NDQvvMrBlwHfCic85Vsvoq4Bdm1jyk7Yz9vOQ6vIKgW8jrHAm020+chc6515xzw/CuUUkHTvG7S4DksFXOAv7lnJvhnPsc73SsKl+jEl8Ax5jZvtb7FDjROfdtJUvJQb6WiIjUQipORESq321AXWC+mXX373lyIV7Rkgn8cR/rLQDWAM+bWUcz+xVVzOwF4JzbBTwLPGJm55nZycA0ILivdcxskJn9zsxO9qc97o93VGOjP2QD0N3MjjazRn7bWqC3mZ1pZh3wjnA0rfrXUCHW94D3gZfNrLeZtTazi/zfDXhHZc40syfMrJM/c9mvzUwXxIuIJAgVJyIi1cw5txboind04SW8oxvPAP8HpPvXhFS2XhC4Eu96kGXA39l3IRNqJPAB8BpegbMIb2atfckFhgAf4h3N6AVc5h/1AW+mrlZ+3GWnn/0Z78jGfGAh3gX1rx5AbOGuAj4GZgNfAw/jH6Vxzn2BN+tYO39/PgPuBzZVuiUREYk7VvmZBSIiIiIiIpGlIyciIiIiIhITVJyIiIiIiEhMUHEiIiIiIiIxQcWJiIiIiIjEBBUnIiIiIiISE1SciIiIiIhITFBxIiIiIiIiMUHFiYiIiIiIxAQVJyIiIiIiEhNUnIiIiIiISExQcSIiIiIiIjHh/wGiAryBlVMtKAAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<matplotlib.figure.Figure at 0x107f493d0>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "plt.figure(figsize=(8, 6), dpi=100)\n",
    "x = list(range(0, 1001))\n",
    "v = [(z, d[z]) for z in z_values]\n",
    "for z, distances in v:\n",
    "    plt.plot(x, distances, label=str(z))\n",
    "plt.plot(x, x, 'k')\n",
    "plt.plot(x, [500]*len(x), 'k:')\n",
    "plt.title('Kanerva\\'s Figure 7.3')\n",
    "plt.ylabel('New distance (after one read)')\n",
    "plt.xlabel('Old distance')\n",
    "plt.legend(bbox_to_anchor=(1.05, 1), loc=2, borderaxespad=0.)\n",
    "plt.grid()\n",
    "plt.axis([0, 1000, 0, 1000]);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "plt.figure()\n",
    "for z, distances in d.items():\n",
    "    plt.plot(x, distances, label=str(z))\n",
    "plt.plot(x, x, 'k')\n",
    "plt.plot(x, [500]*len(x), 'k:')\n",
    "plt.title('Kanerva\\'s Figure 7.3')\n",
    "plt.ylabel('New distance (after one read)')\n",
    "plt.xlabel('Old distance')\n",
    "plt.grid()\n",
    "plt.axis([0, 1000, 0, 1000]);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": [
    "import pickle\n",
    "pickle.dump(d, open(b'table74.pickle', 'w'))"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 2
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython2",
   "version": "2.7.10"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}
